@inproceedings(chakraborti2017plan,
 author       = {Tathagata Chakraborti and Sarath Sreedharan and Yu Zhang and Subbarao Kambhampati},
 year         = {2017},
 title        = {Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy},
 editor       = {Carles Sierra},
 booktitle    = {IJCAI},
 publisher    = {ijcai.org},
 pages        = {156--163},
 doi          = {10.24963/ijcai.2017/23},
)
@inproceedings(EiterLMPS98,
 author       = {Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello},
 year         = {1998},
 title        = {The {KR} System dlv: Progress Report, Comparisons and Benchmarks},
 editor       = {Anthony G. Cohn and Lenhart K. Schubert and Stuart C. Shapiro},
 booktitle    = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998},
 publisher    = {Morgan Kaufmann},
 pages        = {406--417},
)
@article(GebserKKS14,
 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},
 doi          = {10.48550/ARXIV.1405.3694},
 url          = {https://arxiv.org/abs/1405.3694},
)
@article(GelfondL91,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1991},
 title        = {Classical negation in logic programs and disjunctive databases},
 journal      = {New Generation Computing},
 pages        = {365--387},
 doi          = {10.1007/BF03037169},
)
@techreport(ghallab1998pddl,
 author       = {Malik Ghallab and Adele Howe and Craig Knoblock and Drew McDermott and Ashwin Ram and Manuela Veloso and Daniel Weld and David Wilkins},
 year         = {1998},
 title        = {{PDDL} -- the planning domain definition language},
 type         = {Technical Report},
 number       = {TR-98-003},
 institution  = {Yale CCVC},
)
@article(abs-2011-12262,
 author       = {Sachin Grover and David E. Smith and Subbarao Kambhampati},
 year         = {2020},
 title        = {Model Elicitation through Direct Questioning},
 journal      = {CoRR},
 volume       = {abs/2011.12262},
 eprint       = {2011.12262},
)
@article(Lifschitz02,
 author       = {V. Lifschitz},
 year         = {2002},
 title        = {{Answer set programming and plan generation}},
 journal      = {Artificial Intelligence},
 volume       = {138},
 number       = {1--2},
 pages        = {39--54},
 doi          = {10.1016/S0004-3702(02)00186-8},
)
@inproceedings(MarekT99,
 author       = {V. Marek and M. Truszczy\'nski},
 year         = {1999},
 title        = {Stable models and an alternative logic programming paradigm},
 booktitle    = {The Logic Programming Paradigm: a 25-year Perspective},
 pages        = {375--398},
 doi          = {10.1007/978-3-642-60085-2_17},
)
@inproceedings(NguyenSSY20,
 author       = {Van Nguyen and Stylianos Loukas Vasileiou and Tran Cao Son and William Yeoh},
 year         = {2020},
 title        = {{Explainable Planning Using Answer Set Programming}},
 booktitle    = {{KRR}},
 pages        = {662--666},
)
@article(Niemela99,
 author       = {I. Niemel{\"{a}}},
 year         = {1999},
 title        = {Logic programming with stable model semantics as a constraint programming paradigm},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {25},
 number       = {3,4},
 pages        = {241--273},
 doi          = {10.1023/A:1018930122475},
)
@inproceedings(SonNV021,
 author       = {Tran Cao Son and Van Nguyen and Stylianos Loukas Vasileiou and William Yeoh},
 year         = {2021},
 title        = {Model Reconciliation in Logic Programs},
 editor       = {Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak},
 booktitle    = {{JELIA}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12678},
 publisher    = {Springer},
 pages        = {393--406},
 doi          = {10.1007/978-3-030-75775-5\_26},
)
@article(SreedharanCK21,
 author       = {Sarath Sreedharan and Tathagata Chakraborti and Subbarao Kambhampati},
 year         = {2021},
 title        = {Foundations of explanations as model reconciliation},
 journal      = {Artif. Intell.},
 volume       = {301},
 pages        = {103558},
 doi          = {10.1016/j.artint.2021.103558},
)
@inproceedings(SreedharanHMK19,
 author       = {Sarath Sreedharan and Alberto Olmo Hernandez and Aditya Prasad Mishra and Subbarao Kambhampati},
 year         = {2019},
 title        = {Model-Free Model Reconciliation},
 editor       = {Sarit Kraus},
 booktitle    = {{IJCAI}},
 publisher    = {ijcai.org},
 pages        = {587--594},
 doi          = {10.24963/ijcai.2019/83},
)
@inproceedings(Vasileiou21,
 author       = {Stylianos Loukas Vasileiou and Alessandro Previti and William Yeoh},
 year         = {2021},
 title        = {On Exploiting Hitting Sets for Model Reconciliation},
 booktitle    = {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},
 publisher    = {{AAAI} Press},
 pages        = {6514--6521},
 url          = {https://ojs.aaai.org/index.php/AAAI/article/view/16807},
)