Answer set programming at a glance
- 1 December 2011
- journal article
- review article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 54 (12), 92-103
- https://doi.org/10.1145/2043174.2043195
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- Automatic music composition using answer set programmingTheory and Practice of Logic Programming, 2011
- Testing and debugging techniques for answer set solver developmentTheory and Practice of Logic Programming, 2010
- FDNCACM Transactions on Computational Logic, 2010
- atalog: A logic language for expressing search and optimization problemsTheory and Practice of Logic Programming, 2010
- On finitely recursive programsTheory and Practice of Logic Programming, 2009
- Probabilistic reasoning with answer setsTheory and Practice of Logic Programming, 2009
- Stable models and difference logicAnnals of Mathematics and Artificial Intelligence, 2008
- A common view on strong, uniform, and other notions of equivalence in answer-set programmingTheory and Practice of Logic Programming, 2008
- Equilibrium logicAnnals of Mathematics and Artificial Intelligence, 2006
- Complexity and expressive power of logic programmingACM Computing Surveys, 2001