A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems

Open in new window