Reference:
Ilkka Niemelä, Patrik Simons, and Tommi Syrjänen. Smodels: a system for answer set programming. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073), Breckenridge, Colorado, USA, April 2000. cs.AI/0003033.
Suggested BibTeX entry:
@inproceedings{NSS2000:nmr,
address = {Breckenridge, Colorado, USA},
author = {Ilkka Niemel{\"a} and Patrik Simons and Tommi Syrj{\"a}nen},
booktitle = {Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)},
month = {April},
note = {cs.AI/0003033},
title = {{Smodels}: a System for Answer Set Programming},
year = {2000},
}
|