Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses (2011)
- BOOKTITLE:
- Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary
- SERIES:
- Lecture Notes in Computer Science
|