@article(scasp-iclp2018,
 author       = {Joaqu{\'{\i}}n Arias and Manuel Carro and Elmer Salazar and Kyle Marple and Gopal Gupta},
 year         = {2018},
 title        = {{Constraint Answer Set Programming without Grounding}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18},
 number       = {3-4},
 pages        = {337--354},
 doi          = {10.1017/S1471068418000285},
 url          = {https://arxiv.org/abs/1804.11162},
)
@article(DBLP:journals/tplp/CabalarFF14,
 author       = {Pedro Cabalar and Jorge Fandinno and Michael Fink},
 year         = {2014},
 title        = {{Causal Graph Justifications of Logic Programs}},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {14},
 number       = {4-5},
 pages        = {603--618},
 doi          = {10.1017/S1471068414000234},
)
@inproceedings(cabalar20:xclingo,
 author       = {Pedro Cabalar and Jorge Fandinno and Mu{\~n}iz, Brais},
 year         = {2020},
 title        = {{A System for Explainable Answer Set Programming}},
 editor       = {Pedro Cabalar and Andreas Herzig and David Pearce and Torsten Schaub and Stefan Woltran},
 booktitle    = {Declarative Problem Solving (ECAI 2020 Workshop)},
)
@article(chen2016physician,
 author       = {Zhuo Chen and Kyle Marple and Elmer Salazar and Gopal Gupta and Lakshman Tamil},
 year         = {2016},
 title        = {{A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {5-6},
 pages        = {604--618},
 doi          = {10.1017/S1471068416000429},
)
@incollection(Clark78,
 author       = {Keith L. Clark},
 year         = {1978},
 title        = {{Negation as Failure}},
 editor       = {H. Gallaire and J. Minker},
 booktitle    = {Logic and Data Bases},
 publisher    = {Springer},
 pages        = {293--322},
 doi          = {10.1007/978-1-4684-3384-5\_11},
)
@misc(2017explainable,
 author       = {DARPA},
 year         = {2017},
 title        = {{Explainable Artificial Intelligence (XAI)}},
 howpublished = {Defense Advanced Research Projects Agency},
 note         = {\url{https://www.darpa.mil/program/explainable-artificial-intelligence}},
)
@misc(GDPR,
 author       = {{European Union}},
 year         = {2016},
 title        = {{General Data Protection Regulation (GDPR)}},
 howpublished = {Regulation (EU) 2016/679 of the European Parliament and of the Council},
 note         = {\url{https://eur-lex.europa.eu/eli/reg/2016/679/oj}},
)
@article(DBLP:journals/tplp/FandinnoS19,
 author       = {Jorge Fandinno and Claudia Schulz},
 year         = {2019},
 title        = {{Answering the "Why" in Answer Set Programming - A Survey of Explanation Approaches}},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {19},
 number       = {2},
 pages        = {114--203},
 doi          = {10.1017/S1471068418000534},
)
@article(DBLP:journals/eswa/GarciaCRS13,
 author       = {Garc{\'{\i}}a, Alejandro Javier and Ches{\~{n}}evar, Carlos Iv{\'{a}}n and Nicol{\'{a}}s D. Rotstein and Guillermo Ricardo Simari},
 year         = {2013},
 title        = {{Formalizing Dialectical Explanation Support for Argument-Based Reasoning in Knowledge-Based Systems}},
 journal      = {Expert Systems and Applications},
 volume       = {40},
 number       = {8},
 pages        = {3233--3247},
 doi          = {10.1016/j.eswa.2012.12.036},
)
@article(clingo,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2014},
 title        = {{Clingo = ASP + Control: Preliminary Report}},
 journal      = {arXiv},
 volume       = {1405.3694},
 url          = {https://arxiv.org/abs/1405.3694},
)
@article(VanGelder91,
 author       = {A. Van Gelder and K. Ross and J. Schlipf},
 year         = {1991},
 title        = {The {W}ell-{F}ounded {S}emantics for {G}eneral {L}ogic {P}rograms},
 journal      = {Journal of the {ACM}},
 volume       = {38},
 pages        = {620--650},
 doi          = {10.1145/116825.116838},
)
@inproceedings(gelfond88:stable_models,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The {S}table {M}odel {S}emantics for {L}ogic {P}rogramming},
 booktitle    = {5th International Conference on Logic Programming},
 pages        = {1070--1080},
 url          = {http://www.cse.unsw.edu.au/~cs4415/2010/resources/stable.pdf},
)
@article(hermenegildo11:ciao-design-tplp-medium,
 author       = {M. V. Hermenegildo and F. Bueno and M. Carro and Lopez-Garcia, P. and E. Mera and J.F. Morales and G. Puebla},
 year         = {2012},
 title        = {{A}n {O}verview of {C}iao and its {D}esign {P}hilosophy},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1--2},
 pages        = {219--252},
 doi          = {10.1017/S1471068411000457},
 url          = {http://arxiv.org/abs/1102.5497},
)
@article(marple2017computing,
 author       = {Kyle Marple and Elmer Salazar and Gopal Gupta},
 year         = {2017},
 title        = {{Computing Stable Models of Normal Logic Programs Without Grounding}},
 journal      = {arXiv},
 volume       = {1709.00501},
 url          = {http://arxiv.org/abs/1709.00501},
)
@inproceedings(pereira89:relevant-counterfactuals,
 author       = {Lu{\'{\i}}s Moniz Pereira and Apar{\'{\i}}cio, Joaquim Nunes},
 year         = {1989},
 title        = {Relevant Counterfactuals},
 booktitle    = {{EPIA} 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings},
 pages        = {107--118},
 doi          = {10.1007/3-540-51665-4\_78},
)
@article(DBLP:journals/tplp/PontelliSE09,
 author       = {Enrico Pontelli and Tran Cao Son and El{-}Khatib, Omar},
 year         = {2009},
 title        = {{Justifications for Logic Programs under Answer Set Semantics}},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {9},
 number       = {1},
 pages        = {1--56},
 doi          = {10.1017/S1471068408003633},
)
@article(DBLP:journals/tplp/0001T16,
 author       = {Claudia Schulz and Francesca Toni},
 year         = {2016},
 title        = {{Justifying Answer Sets Using Argumentation}},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {16},
 number       = {1},
 pages        = {59--110},
 doi          = {10.1017/S1471068414000702},
)
@inproceedings(DBLP:conf/aaai/ShakerinG19-short,
 author       = {Farhad Shakerin and Gopal Gupta},
 year         = {2019},
 title        = {{Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using {LIME}}},
 booktitle    = {{AAAI} 2019},
 pages        = {3052--3059},
 doi          = {10.1609/aaai.v33i01.33013052},
)
@article(xsb-journal-2012,
 author       = {Terrance Swift and David Scott Warren},
 year         = {2012},
 title        = {{XSB}: {E}xtending {P}rolog with {T}abled {L}ogic {P}rogramming},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {157--187},
 doi          = {10.1017/S1471068411000500},
)
@inproceedings(DBLP:conf/lopstr/VaranasiSMG19,
 author       = {Sarat Chandra Varanasi and Elmer Salazar and Neeraj Mittal and Gopal Gupta},
 year         = {2019},
 title        = {{Synthesizing Imperative Code from Answer Set Programming Specifications}},
 booktitle    = {{LOPSTR}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12042},
 publisher    = {Springer},
 pages        = {75--89},
 doi          = {10.1007/978-3-030-45260-5\_5},
)