Reference:
Keijo Heljanko and Ilkka Niemelä. Answer set programming and bounded model checking. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pages 90–96, Stanford, USA, March 2001. AAAI Press.
Suggested BibTeX entry:
@inproceedings{HN2001:asp,
address = {Stanford, USA},
author = {Keijo Heljanko and Ilkka Niemel{\"a}},
booktitle = {Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning},
month = {March},
pages = {90--96},
publisher = {AAAI Press},
title = {Answer Set Programming and Bounded Model Checking},
year = {2001},
}
|