Justin Blount (2013):
An architecture for intentional agents,
doi:10.4204/EPTCS.345.23.
Gerhard Brewka, Thomas Eiter & Miroslaw Truszczynski (2011):
Answer set programming at a glance.
Commun. ACM 54(12),
pp. 92–103,
doi:10.1145/2043174.2043195.
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca & Torsten Schaub (2020):
ASP-Core-2 input language format.
Theory and Practice of Logic Programming 20(2),
pp. 294–309,
doi:10.1017/S1471068419000450.
Thomas Eiter, Giovambattista Ianni & Thomas Krennwallner (2009):
Answer Set Programming: A Primer.
In: Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset & Renate A. Schmidt: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures,
Lecture Notes in Computer Science 5689.
Springer,
pp. 40–110,
doi:10.1007/978-3-642-03754-2_2.
Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub & Marius Schneider (2011):
Potassco: The Potsdam Answer Set Solving Collection.
AI Commun. 24(2),
pp. 107–124,
doi:10.3233/AIC-2011-0491.
Michael Gelfond & Yulia Kahl (2014):
Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach.
Cambridge University Press,
doi:10.1017/CBO9781139342124.
Michael Gelfond & Vladimir Lifschitz (1988):
The Stable Model Semantics for Logic Programming.
In: Robert A. Kowalski & Kenneth A. Bowen: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes).
MIT Press,
pp. 1070–1080,
doi:10.2307/2275201.
Michael Gelfond & Vladimir Lifschitz (1990):
Logic Programs with Classical Negation.
In: David H. D. Warren & Péter Szeredi: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990.
MIT Press,
pp. 579–597,
doi:10.1007/BF03037169.
Michael Gelfond & Jorge Lobo (2008):
Authorization and Obligation Policies in Dynamic Systems.
In: Maria Garcia de la Banda & Enrico Pontelli: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings,
Lecture Notes in Computer Science 5366.
Springer,
pp. 22–36,
doi:10.1007/978-3-540-89982-2_7.
Vladimir Lifschitz (1999):
Answer Set Planning (Abstract).
In: Michael Gelfond, Nicola Leone & Gerald Pfeifer: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings,
Lecture Notes in Computer Science 1730.
Springer,
pp. 373–374,
doi:10.1007/3-540-46767-X_28.
eptcs@eptcs.org