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