Smodels: a System for Answer Set Programming

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},
}