Sh/explanationbib

krr.bib

@@ -922,6 +922,24 @@ @inproceedings{alrosc19a
   year = {2019}
 }
 
+@inproceedings{altrsoba23a,
+  title = {Advancements in {xASP, an XAI System for Answer Set Programming}.},
+  author = {M. Alviano and L. Trieu and T. Son and M. Balduccini},
+  booktitle = {CILC},
+  year = {2023}
+}
+
+@article{altrsoba24a,
+  title = {The {XAI} system for answer set programming {xASP2}},
+  author = {M. Alviano and L. Trieu and T. Son and M. Balduccini},
+  journal = jlc,
+  number = {8},
+  pages = {1500-1525},
+  publisher = {Oxford University Press},
+  volume = {34},
+  year = {2024}
+}
+
 @article{alucoudil97a,
   title = {Model-Checking in Dense Real-Time},
   author = {R. Alur and C. Courcoubetis and D. Dill},
@@ -1317,6 +1335,13 @@ @inproceedings{arbelymara10a
   pages = {11-22}
 }
 
+@inproceedings{arcachgu20a,
+  title = {Justifications for Goal-Directed Constraint Answer Set Programming},
+  author = {J. Arias and M. Carro and Z. Chen and G. Gupta},
+  crossref = {iclp-tc20},
+  doi = {10.4204/EPTCS.325.12}
+}
+
 @inproceedings{arcagu22a,
   title = {Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming},
   author = {J. Arias and M. Carro and G. Gupta},
@@ -2397,6 +2422,17 @@ @inproceedings{bamama16b
   pages = {1-12}
 }
 
+@article{bamama24a,
+  title = {Combining Logic with Large Language Models for Automatic Debugging and Repair of {ASP} Programs},
+  author = {R. Brancas and V. Manquinho and R. Martins},
+  doi = {10.48550/ARXIV.2410.20962},
+  eprint = {2410.20962},
+  eprinttype = {arXiv},
+  journal = {CoRR},
+  volume = {abs/2410.20962},
+  year = {2024}
+}
+
 @article{bamamale17a,
   title = {{CASP} solutions for planning in hybrid domains},
   author = {M. Balduccini and D. Magazzeni and M. Maratea and E. Leblanc},
@@ -5742,6 +5778,17 @@ @inproceedings{cabemc19a
   pages = {58-67}
 }
 
+@article{cabfan17a,
+  title = {Enablers and inhibitors in causal justifications of logic programs},
+  author = {P. Cabalar and J. Fandinno},
+  doi = {10.1017/S1471068416000107},
+  journal = tplp,
+  number = {1},
+  pages = {49-74},
+  volume = {17},
+  year = {2017}
+}
+
 @article{cabfer08a,
   title = {Propositional theories are strongly equivalent to logic programs},
   author = {P. Cabalar and P. Ferraris},
@@ -5752,6 +5799,24 @@ @article{cabfer08a
   year = {2007}
 }
 
+@inproceedings{cabmun23a,
+  title = {Explanation Graphs for Stable Models of Labelled Logic Programs},
+  author = {P. Cabalar and B. Mu{\~n}iz},
+  crossref = {iclp-tc23},
+  url = {https://ceur-ws.org/Vol-3437/paper3ASPOCP.pdf}
+}
+
+@article{cabmun24a,
+  title = {Model Explanation via Support Graphs},
+  author = {P. Cabalar and B. Mu{\~n}iz},
+  doi = {10.48550/ARXIV.2310.01626},
+  eprint = {2310.01626},
+  eprinttype = {arXiv},
+  journal = {CoRR},
+  volume = {abs/2310.01626},
+  year = {2023}
+}
+
 @inproceedings{cabper07a,
   title = {Temporal Equilibrium Logic: {A} First Approach},
   author = {P. Cabalar and G. {P{\'e}rez Vega}},
@@ -6032,14 +6097,6 @@ @inproceedings{caerer09a
   pages = {416-422}
 }
 
-@inproceedings{cafabr20a,
-  title = {A System for Explainable Answer Set Programming},
-  author = {P. Cabalar and J. Fandinno and B. Mu{\~n}iz},
-  crossref = {iclp-tc20},
-  doi = {10.4204/EPTCS.325.19},
-  pages = {124-136}
-}
-
 @inproceedings{cafafa18a,
   title = {Splitting Epistemic Logic Programs},
   author = {P. Cabalar and J. Fandinno and L. {Fari{\~n}as del Cerro}},
@@ -6150,6 +6207,14 @@ @inproceedings{cafali91a
   year = {1991}
 }
 
+@inproceedings{cafamu20a,
+  title = {A System for Explainable Answer Set Programming},
+  author = {P. Cabalar and J. Fandinno and B. Mu{\~n}iz},
+  crossref = {iclp-tc20},
+  doi = {10.4204/EPTCS.325.19},
+  pages = {124-136}
+}
+
 @inproceedings{cafapeva14a,
   title = {A Free Logic for Stable Models with Partial Intensional Functions},
   author = {P. Cabalar and L. {Fari{\~n}as del Cerro} and D. Pearce and A. Valverde},
@@ -9365,6 +9430,24 @@ @inproceedings{eigemuoeskst21a
   pages = {280-290}
 }
 
+@inproceedings{eigeoe23a,
+  title = {Contrastive Explanations for Answer-Set Programs},
+  author = {T. Eiter and T. Geibinger and J. Oetsch},
+  crossref = {jelia23},
+  doi = {10.1007/978-3-031-43619-2\_6},
+  pages = {73-89}
+}
+
+@article{eigesa26a,
+  title = {An XAI View on Explainable ASP: Methods, Systems, and Perspectives},
+  author = {T. Eiter and T. Geibinger and Z. Saribatur},
+  archiveprefix = {arXiv},
+  eprint = {2601.14764},
+  primaryclass = {cs.AI},
+  url = {https://arxiv.org/abs/2601.14764},
+  year = {2026}
+}
+
 @inproceedings{eigoma94a,
   title = {Expressive Power and Complexity of Disjunctive {D}atalog under the Stable Model Semantics},
   author = {T. Eiter and G. Gottlob and H. Mannila},
@@ -9433,6 +9516,14 @@ @inproceedings{eitfin03a
   pages = {224-238}
 }
 
+@inproceedings{eitgei23a,
+  title = {Explaining Answer-Set Programs with Abstract Constraint Atoms},
+  author = {T. Eiter and T. Geibinger},
+  crossref = {ijcai23},
+  doi = {10.24963/IJCAI.2023/356},
+  pages = {3193-3202}
+}
+
 @article{eitgot92a,
   title = {On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals},
   author = {T. Eiter and G. Gottlob},
@@ -10406,7 +10497,8 @@ @article{fansch19a
   journal = tplp,
   number = {2},
   pages = {114-203},
-  volume = {19}
+  volume = {19},
+  year = {2019}
 }
 
 @inproceedings{fapeva13a,
@@ -11937,6 +12029,14 @@ @inproceedings{gekaobsc15a
   pages = {17-32}
 }
 
+@inproceedings{gekaoe24a,
+  title = {Explanations for Guess-and-Check ASP Encodings Using an LLM (Extended Abstract)},
+  author = {T. Geibinger and T. Kaminski and J. Oetsch},
+  crossref = {taasp24},
+  pages = {6},
+  url = {https://taasp.at/2024/assets/paper/TAASP_2024_paper_9.pdf}
+}
+
 @inproceedings{gekaosscth09a,
   title = {On the Input Language of {ASP} Grounder Gringo},
   author = {M. Gebser and R. Kaminski and M. Ostrowski and T. Schaub and S. Thiele},
@@ -15706,6 +15806,17 @@ @article{kakmil97a
   year = {1997}
 }
 
+@article{kakoto92a,
+  title = {Abduction in Logic Programming},
+  author = {A. Kakas and R. Kowalski and F. Toni},
+  journal = jlc,
+  number = {6},
+  pages = {837-956},
+  publisher = {Oxford University Press},
+  volume = {2},
+  year = {1992}
+}
+
 @article{kakton99a,
   title = {Computing Argumentation in Logic Programming},
   author = {A. Kakas and F. Toni},
@@ -19444,6 +19555,17 @@ @article{miles08a
   year = {2008}
 }
 
+@article{miller19a,
+  title = {Explanation in artificial intelligence: Insights from the social sciences},
+  author = {T. Miller},
+  doi = {10.1016/j.artint.2018.07.007},
+  issn = {0004-3702},
+  journal = ai,
+  pages = {1-38},
+  volume = {267},
+  year = {2019}
+}
+
 @article{miller95,
   title = {Word{N}et: A lexical database for {E}nglish},
   author = {G. Miller},

procs.bib

@@ -2548,6 +2548,14 @@ @proceedings{ijcai22
   year = {2022}
 }
 
+@proceedings{ijcai23,
+  title = {Proceedings of the Thirty-second International Joint Conference on Artificial Intelligence (IJCAI'23)},
+  editor = {E. Elkind},
+  booktitle = {Proceedings of the Thirty-second International Joint Conference on Artificial Intelligence (IJCAI'23)},
+  publisher = {ijcai.org},
+  year = {2023}
+}
+
 @proceedings{ijcai24,
   title = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI'24)},
   booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI'24)},
@@ -4478,6 +4486,15 @@ @proceedings{taasp22
   year = {2022}
 }
 
+@proceedings{taasp24,
+  title = {Proceedings of the Seventh Workshop on Trends and Applications of Answer Set Programming (TAASP'24)},
+  editor = {A. Tarzariol and K. Strauch and T. Geibinger},
+  booktitle = {Proceedings of the Seventh Workshop on Trends and Applications of Answer Set Programming (TAASP'24)},
+  optpublisher = {Technische Universit{\"a}t Wien},
+  url = {https://taasp.at//2024/program.html},
+  year = {2024}
+}
+
 @proceedings{taasp25,
   title = {Proceedings of the Eigth Workshop on Trends and Applications of Answer Set Programming (TAASP'25)},
   editor = {T. Geibinger and T. Stolzmann and A. Tarzariol},