Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang & Subbarao Kambhampati (2017):
Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy.
In: Carles Sierra: IJCAI.
ijcai.org,
pp. 156–163,
doi:10.24963/ijcai.2017/23.
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer & Francesco Scarcello (1998):
The KR System dlv: Progress Report, Comparisons and Benchmarks.
In: Anthony G. Cohn, Lenhart K. Schubert & Stuart C. Shapiro: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
Morgan Kaufmann,
pp. 406–417.
M. Gelfond & V. Lifschitz (1991):
Classical negation in logic programs and disjunctive databases.
New Generation Computing,
pp. 365–387,
doi:10.1007/BF03037169.
Malik Ghallab, Adele Howe, Craig Knoblock, Drew McDermott, Ashwin Ram, Manuela Veloso, Daniel Weld & David Wilkins (1998):
PDDL – the planning domain definition language.
Technical Report TR-98-003.
Yale CCVC.
Sachin Grover, David E. Smith & Subbarao Kambhampati (2020):
Model Elicitation through Direct Questioning.
CoRR abs/2011.12262.
ArXiv:2011.12262.
V. Lifschitz (2002):
Answer set programming and plan generation.
Artificial Intelligence 138(1–2),
pp. 39–54,
doi:10.1016/S0004-3702(02)00186-8.
V. Marek & M. Truszczyński (1999):
Stable models and an alternative logic programming paradigm.
In: The Logic Programming Paradigm: a 25-year Perspective,
pp. 375–398,
doi:10.1007/978-3-642-60085-2_17.
Van Nguyen, Stylianos Loukas Vasileiou, Tran Cao Son & William Yeoh (2020):
Explainable Planning Using Answer Set Programming.
In: KRR,
pp. 662–666.
I. Niemelä (1999):
Logic programming with stable model semantics as a constraint programming paradigm.
Annals of Mathematics and Artificial Intelligence 25(3,4),
pp. 241–273,
doi:10.1023/A:1018930122475.
Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou & William Yeoh (2021):
Model Reconciliation in Logic Programs.
In: Wolfgang Faber, Gerhard Friedrich, Martin Gebser & Michael Morak: JELIA,
Lecture Notes in Computer Science 12678.
Springer,
pp. 393–406,
doi:10.1007/978-3-030-75775-5_26.
Sarath Sreedharan, Tathagata Chakraborti & Subbarao Kambhampati (2021):
Foundations of explanations as model reconciliation.
Artif. Intell. 301,
pp. 103558,
doi:10.1016/j.artint.2021.103558.
Sarath Sreedharan, Alberto Olmo Hernandez, Aditya Prasad Mishra & Subbarao Kambhampati (2019):
Model-Free Model Reconciliation.
In: Sarit Kraus: IJCAI.
ijcai.org,
pp. 587–594,
doi:10.24963/ijcai.2019/83.
Stylianos Loukas Vasileiou, Alessandro Previti & William Yeoh (2021):
On Exploiting Hitting Sets for Model Reconciliation.
In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021.
AAAI Press,
pp. 6514–6521.
Available at https://ojs.aaai.org/index.php/AAAI/article/view/16807.