- Michael Gelfond and Yulia Kahl.
Knowledge Representation, Reasoning, and the Design of Intelligent Agents.
Cambridge University Press, 2014.
- Vladimir Lifschitz.
Foundations of logic programming.
Principles of Knowledge Representation, 69-127.
CSLI Publications, 1996.
- Chitta Baral.
Knowledge Representation, Reasoning and Declarative Problem Solving.
Cambridge University Press, 2003.
- Michael Gelfond.
Answer sets.
Handbook of Knowledge Representation, Chapter 7, 285-316.
Elsevier Science, 2008.
- Patrik Simons,
Ilkka Niemelä, and
Timo Soininen.
Extending and implementing the stable model semantics.
Artificial Intelligence, 138(1-2):181-234, 2002.
- Vladimir Lifschitz.
Answer set programming and plan generation.
Artificial Intelligence, 138(1-2):39-54, 2002.
- Nicola Leone,
Gerald Pfeifer,
Wolfgang Faber,
Thomas Eiter,
Georg Gottlob,
Simona Perri,
Francesco Scarcello.
The DLV system for knowledge representation and reasoning.
ACM Transactions on Computational Logic, 7(3):499-562, 2006.
- Fangzhen Lin
and
Yuting Zhao.
ASSAT: Computing answer sets of a logic program by SAT solvers.
Artificial Intelligence, 157(1-2):115-137, 2004.
- Niklas Een and Niklas Sörensson.
An Extensible SAT-solver.
Proceeedings SAT’03, 502-518.
Springer, 2004.
- Potassco Literature
