From e103ca9e7ec4e83ca0f2c2b078c427caa2675141 Mon Sep 17 00:00:00 2001 From: Susana Hahn Date: Thu, 11 Jun 2026 11:14:12 -0600 Subject: [PATCH 1/2] Explanation bib --- krr.bib | 137 ++++++++++++++++++++++++++++++++++++++++++++++++++---- procs.bib | 17 +++++++ 2 files changed, 146 insertions(+), 8 deletions(-) diff --git a/krr.bib b/krr.bib index 7f949ae..e018545 100644 --- a/krr.bib +++ b/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}, @@ -11937,6 +12028,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 +15805,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 +19554,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}, diff --git a/procs.bib b/procs.bib index 2bc44a8..a259323 100644 --- a/procs.bib +++ b/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}, From 52618b9855a5f9e06fcedc1aa801fc3b8022f9ad Mon Sep 17 00:00:00 2001 From: Susana Hahn Date: Thu, 11 Jun 2026 11:16:40 -0600 Subject: [PATCH 2/2] Adding missing year --- krr.bib | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/krr.bib b/krr.bib index e018545..247fbb1 100644 --- a/krr.bib +++ b/krr.bib @@ -10497,7 +10497,8 @@ @article{fansch19a journal = tplp, number = {2}, pages = {114-203}, - volume = {19} + volume = {19}, + year = {2019} } @inproceedings{fapeva13a,