Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

Reference:

Tomi Janhunen and Ilkka Niemelä. Compact translations of non-disjunctive answer set programs to propositional clauses. In Marcello Balduccini and Trao Can Son, editors, Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary, volume 6565 of Lecture Notes in Computer Science, pages 111–130, Lexington, Kentucky, April 2011. Springer.

Suggested BibTeX entry:

@inproceedings{JN11:scmcs,
    address = {Lexington, Kentucky},
    author = {Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary},
    editor = {Marcello Balduccini and Trao Can Son},
    month = {April},
    pages = {111--130},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses},
    volume = {6565},
    year = {2011},
}