1. Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, and David Smith. 2019. Towards explainable AI planning as a service. In 2nd ICAPS Workshop on Explainable Planning.
2. M. Cashmore, M. Fox, D. Long, and D. Magazzeni. 2016. A Compilation of the Full PDDL+ Language into SMT. In International Conference on Automated Planning and Scheduling 26 (mar 30 2016), 79–87.
3. Planning for Hybrid Systems via Satisfiability Modulo Theories
4. The Emerging Landscape of Explainable Automated Planning & Decision Making
5. Amit Dhurandhar, Pin-Yu Chen, Ronny Luss, Chun-Chen Tu, Pai-Shun Ting, Karthikeyan Shanmugam, and Payel Das. 2018. Explanations based on the Missing: Towards Contrastive Explanations with Pertinent Negatives. In Advances in Neural Information Processing Systems 31: Annual Conference on NeurIPS 2018, December 3-8, 2018, Montréal, Canada. 590–601. https://proceedings.neurips.cc/paper/2018/hash/c5ff2543b53f4cc0ad3819a36752467b-Abstract.html