Generating Explanations for Temporal Logic Planner Decisions

Daniel Kasenberg, Ravenna Thielstrom, Matthias Scheutz. Generating Explanations for Temporal Logic Planner Decisions. In J. Christopher Beck, Olivier Buffet, Jörg Hoffmann 0001, Erez Karpas, Shirin Sohrabi, editors, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. pages 449-458, AAAI Press, 2020. [doi]

Abstract

Abstract is missing.