PlanPilot

Interactive exploration of the plan space of classical planning problems.

PlanPilot lets users interactively explore the plan space of a classical planning task by activating or deactivating meaningful plan facets, making it easier to understand the different solutions a problem admits. It supports both PDDL and SAS+ inputs, encoding the task as an answer set program and navigating it with the fasb tool.

The tool builds on our work on interactive plan-space exploration (Gnad et al., 2025) and on counting and reasoning with plans (Speck et al., 2025), and is presented as a system demonstration (Kornherr et al., 2025).

The implementation is available on GitHub.

Demo videos: video 1, video 2.

See also the related Planalyst project for counting and reasoning about plans.

References

2025

  1. Interactive Exploration of Plan Spaces
    Daniel Gnad, Markus Hecher, Sarah Gaggl, and 3 more authors
    In Proceedings of the Twenty-Second International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025
    PDF
  2. Counting and Reasoning with Plans
    David Speck, Markus Hecher, Daniel Gnad, and 2 more authors
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025), 2025
    PDF
  3. Graphical Navigation in Solution Spaces using PlanPilot
    Michelle Kornherr, Johannes K. Fichte, Dominik Rusovac, and 5 more authors
    In ICAPS 2025 System Demonstrations and Exhibits, 2025
    PDF