@inproceedings(alviano13,
 author       = {Mario Alviano and Carmine Dodaro and Wolfgang Faber and Nicola Leone and Francesco Ricca},
 year         = {2013},
 title        = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning},
 booktitle    = {Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR} 2013)},
 series       = {LNCS},
 volume       = {8148},
 publisher    = {Springer},
 pages        = {54--66},
 doi          = {10.1007/978-3-642-40564-8\_6},
)
@article(banbara17,
 author       = {Mutsunori Banbara and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub},
 year         = {2017},
 title        = {Clingcon: The next generation},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {17},
 number       = {4},
 pages        = {408--461},
 doi          = {10.1017/S1471068417000138},
)
@article(bogatarkan2020,
 author       = {Aysu Bogatarkan and Esra Erdem},
 year         = {2020},
 title        = {Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {20},
 number       = {6},
 pages        = {974--989},
 doi          = {10.1017/S1471068420000320},
)
@inproceedings(bonatti96,
 author       = {Piero A. Bonatti},
 year         = {1996},
 title        = {Sequent Calculi for Default and Autoepistemic Logics},
 booktitle    = {Proceedings of the 5th International Conference on Theorem Proving with Analytic Tableaux and Related Methods ({TABLEAUX} 1996)},
 series       = {LNCS},
 volume       = {1071},
 publisher    = {Springer},
 pages        = {127--142},
 doi          = {10.1007/3-540-61208-4\_9},
)
@inproceedings(cabalar20,
 author       = {Pedro Cabalar and Jorge Fandinno and Mu{\~{n}}iz, Brais},
 year         = {2020},
 title        = {A System for Explainable Answer Set Programming},
 booktitle    = {Technical Communications of the 36th International Conference on Logic Programming ({ICLP} 2020)},
 series       = {{EPTCS}},
 volume       = {325},
 pages        = {124--136},
 doi          = {10.4204/EPTCS.325.19},
)
@inproceedings(damasio15,
 author       = {Carlos Viegas Dam{\'{a}}sio and Jo{\~{a}}o Moura Pires and Anastasia Analyti},
 year         = {2015},
 title        = {Unifying Justifications and Debugging for Answer-Set Programs},
 booktitle    = {Technical Communications of the 31st International Conference on Logic Programming {(ICLP} 2015)},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1433},
 publisher    = {CEUR-WS.org},
 url          = {ceur-ws.org/Vol-1433/tc\_84.pdf},
)
@inproceedings(dodaro15,
 author       = {Carmine Dodaro and Philip Gasteiger and Benjamin Musitsch and Francesco Ricca and Kostyantyn M. Shchekotykhin},
 year         = {2015},
 title        = {Interactive Debugging of Non-ground {ASP} Programs},
 booktitle    = {Proceedings of 13th International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR} 2015)},
 series       = {LNCS},
 volume       = {9345},
 publisher    = {Springer},
 pages        = {279--293},
 doi          = {10.1007/978-3-319-23264-5\_24},
)
@article(eiter16,
 author       = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Schüller},
 year         = {2016},
 title        = {A model building framework for answer set programming with external computations},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {4},
 pages        = {418--464},
 doi          = {10.1017/S1471068415000113},
)
@inproceedings(eiter23a,
 author       = {Thomas Eiter and Tobias Geibinger},
 year         = {2023},
 title        = {Explaining Answer-Set Programs with Abstract Constraint Atoms},
 booktitle    = {Proceedings of the 32nd International Joint Conference on Artificial Intelligence ({IJCAI} 2023, to appear)},
)
@inproceedings(eiter23b,
 author       = {Thomas Eiter and Tobias Geibinger and Nelson Higuera Ruiz and Johannes Oetsch},
 year         = {2023},
 title        = {A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering},
 booktitle    = {Proceedings of the 32rd International Joint Conference on Artificial Intelligence ({IJCAI} 2023, to appear)},
)
@article(eiter97,
 author       = {Thomas Eiter and Georg Gottlob and Nicola Leone},
 year         = {1997},
 title        = {Abduction from Logic Programs: Semantics and Complexity},
 journal      = {Theoretical Computer Science},
 volume       = {189},
 number       = {1-2},
 pages        = {129--177},
 doi          = {10.1016/S0304-3975(96)00179-X},
)
@incollection(eiter09,
 author       = {Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner},
 year         = {2009},
 title        = {Answer Set Programming: A Primer},
 booktitle    = {Reasoning Web},
 publisher    = {Springer},
 pages        = {40--110},
 doi          = {10.1007/978-3-642-03754-2_2},
)
@article(erdem16,
 author       = {Esra Erdem and Michael Gelfond and Nicola Leone},
 year         = {2016},
 title        = {Applications of Answer Set Programming},
 journal      = {AI Magazine},
 volume       = {37},
 number       = {3},
 pages        = {53--68},
 doi          = {10.1609/aimag.v37i3.2678},
)
@inproceedings(faber04,
 author       = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
 year         = {2004},
 title        = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity},
 booktitle    = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)},
 series       = {LNCS},
 volume       = {3229},
 publisher    = {Springer},
 pages        = {200--212},
 doi          = {10.1007/978-3-540-30227-8_19},
)
@article(falkner18,
 author       = {Andreas Falkner and Gerhard Friedrich and Konstantin Schekotihin and Richard Taupe and Erich C. Teppan},
 year         = {2018},
 title        = {Industrial Applications of Answer Set Programming},
 journal      = {KI},
 volume       = {32},
 number       = {2},
 pages        = {165--176},
 doi          = {10.1007/s13218-018-0548-6},
)
@article(fandinno16,
 author       = {Jorge Fandinno},
 year         = {2016},
 title        = {Deriving conclusions from non-monotonic cause-effect relations},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {5-6},
 pages        = {670–687},
 doi          = {10.1017/S1471068416000466},
)
@article(fandinno19,
 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},
)
@inproceedings(gebser16,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko},
 year         = {2016},
 title        = {{Theory Solving Made Easy with Clingo 5}},
 booktitle    = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
 series       = {OASIcs},
 volume       = {52},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 pages        = {2:1--2:15},
 doi          = {10.4230/OASIcs.ICLP.2016.2},
)
@book(gebser12,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2013},
 title        = {Answer Set Solving in Practice},
 publisher    = {Springer},
 doi          = {10.1007/978-3-031-01561-8},
)
@article(gebser14,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2014},
 title        = {Clingo = {ASP} + Control: Preliminary Report},
 journal      = {CoRR},
 volume       = {abs/1405.3694},
 url          = {arxiv.org/abs/1405.3694},
)
@inproceedings(gebser08,
 author       = {Martin Gebser and J{\"{o}}rg P{\"{u}}hrer and Torsten Schaub and Hans Tompits},
 year         = {2008},
 title        = {A Meta-Programming Technique for Debugging Answer-Set Programs},
 booktitle    = {Proceedings of the 23rd {AAAI} Conference on Artificial Intelligence ({AAAI} 2008)},
 publisher    = {{AAAI} Press},
 pages        = {448--453},
 url          = {www.aaai.org/Library/AAAI/2008/aaai08-071.php},
)
@inproceedings(lee16,
 author       = {Joohyung Lee and Yi Wang},
 year         = {2016},
 title        = {Weighted Rules under the Stable Model Semantics},
 booktitle    = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)},
 publisher    = {{AAAI} Press},
 pages        = {145--154},
 url          = {www.aaai.org/ocs/index.php/KR/KR16/paper/view/12901},
)
@article(lipton1990,
 author       = {Peter Lipton},
 year         = {1990},
 title        = {Contrastive Explanation},
 journal      = {Royal Institute of Philosophy Supplement},
 volume       = {27},
 pages        = {247–266},
 doi          = {10.1017/S1358246100005130},
)
@inproceedings(marek2004,
 author       = {Victor W. Marek and Miroslaw Truszczynski},
 year         = {2004},
 title        = {Logic Programs with Abstract Constraint Atoms},
 booktitle    = {Proceedings of the 19th National Conference on Artificial Intelligence (AAAI 2004)},
 publisher    = {{AAAI} Press / The {MIT} Press},
 pages        = {86--91},
 url          = {www.aaai.org/Library/AAAI/2004/aaai04-014.php},
)
@incollection(silva23,
 author       = {Marques-Silva, Joao},
 year         = {2023},
 title        = {Logic-Based Explainability in Machine Learning},
 editor       = {Leopoldo Bertossi and Guohui Xiao},
 booktitle    = {Reasoning Web. Causality, Explanations and Declarative Knowledge},
 publisher    = {Springer Nature Switzerland},
 address      = {Cham},
 pages        = {24--104},
 doi          = {10.1007/978-3-031-31414-8_2},
)
@article(miller2019,
 author       = {Tim Miller},
 year         = {2019},
 title        = {Explanation in artificial intelligence: Insights from the social sciences},
 journal      = {Artificial Intelligence},
 volume       = {267},
 pages        = {1--38},
 doi          = {10.1016/j.artint.2018.07.007},
)
@article(oetsch10,
 author       = {Johannes Oetsch and J\"org P\"uhrer and Hans Tompits},
 year         = {2010},
 title        = {Catching the Ouroboros: On debugging non-ground answer-set programs},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {10},
 number       = {4-6},
 pages        = {513--529},
 doi          = {10.1017/S1471068410000256},
)
@article(oetsch18,
 author       = {Johannes Oetsch and J\"org P\"uhrer and Hans Tompits},
 year         = {2018},
 title        = {Stepwise debugging of answer-set programs},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18},
 number       = {1},
 pages        = {30--80},
 doi          = {10.1017/S1471068417000217},
)
@article(pearce06,
 author       = {David Pearce},
 year         = {2006},
 title        = {Equilibrium logic},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {47},
 pages        = {3--41},
 doi          = {10.1007/s10472-006-9028-z},
)
@inproceedings(pearce00,
 author       = {David Pearce and Inman P. de Guzm{\'{a}}n and Agust{\'{\i}}n Valverde},
 year         = {2000},
 title        = {A Tableau Calculus for Equilibrium Entailment},
 booktitle    = {Proceedings of the 9th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods ({TABLEAUX} 2000)},
 series       = {LNCS},
 volume       = {1847},
 publisher    = {Springer},
 pages        = {352--367},
 doi          = {10.1007/10722086\_28},
)
@inproceedings(pearce01,
 author       = {David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2001},
 title        = {Abduction in equilibrium logic},
 booktitle    = {Proceeding of the 1st International Answer Set Programming Workshop (ASP 2001)},
 url          = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/23.ps},
)
@article(pontelli09,
 author       = {Enrico Pontelli and Tran Cao Son and Omar Elkhatib},
 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(saribatur21,
 author       = {Zeynep G. Saribatur and Thomas Eiter and Peter Schüller},
 year         = {2021},
 title        = {Abstraction for non-ground answer set programs},
 journal      = {Artificial Intelligence},
 volume       = {300},
 pages        = {103563},
 doi          = {10.1016/j.artint.2021.103563},
)
@inproceedings(trieu2021,
 author       = {Ly Ly T. Trieu and Tran Cao Son and Marcello Balduccini},
 year         = {2021},
 title        = {exp(ASPc) : Explaining {ASP} Programs with Choice Atoms and Constraint Rules},
 booktitle    = {Technical Communications of the 37th International Conference on Logic Programming ({ICLP} 2021)},
 series       = {{EPTCS}},
 volume       = {345},
 pages        = {155--161},
 doi          = {10.4204/EPTCS.345.28},
)
@inproceedings(trieu2022,
 author       = {Ly Ly T. Trieu and Tran Cao Son and Marcello Balduccini},
 year         = {2022},
 title        = {xASP: An Explanation Generation System for Answer Set Programming},
 booktitle    = {Proceddings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning ({LPNMR} 2022)},
 series       = {LNCS},
 volume       = {13416},
 publisher    = {Springer},
 pages        = {363--369},
 doi          = {10.1007/978-3-031-15707-3\_28},
)
@inproceedings(damasio13,
 author       = {Viegas Dam{\'a}sio, Carlos and Anastasia Analyti and Grigoris Antoniou},
 year         = {2013},
 title        = {Justifications for Logic Programming},
 booktitle    = {Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)},
 series       = {LNCS},
 volume       = {8148},
 publisher    = {Springer},
 pages        = {530--542},
 doi          = {10.1007/978-3-642-40564-8_53},
)
@article(wang2022,
 author       = {Yisong Wang and Thomas Eiter and Yuanlin Zhang and Fangzhen Lin},
 year         = {2022},
 title        = {Witnesses for Answer Sets of Logic Programs},
 journal      = {ACM Transactions on Computational Logic},
 doi          = {10.1145/3568955},
)
@inproceedings(yang20,
 author       = {Zhun Yang and Adam Ishay and Joohyung Lee},
 year         = {2020},
 title        = {Neur{ASP}: Embracing neural networks into answer set programming},
 booktitle    = {Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)},
 pages        = {1755--1762},
 doi          = {10.24963/ijcai.2020/243},
)