Knowledge, Reasoning and Planning Seminar MSc Spring Semester 2026 ยท University of Basel
Spider with Axioms
Rewriting an IPC-2018 Spider Solitaire PDDL domain using derived predicates instead of zero-cost propagation actions. The interactive presentation includes a live Fast Downward race in your browser, same instance, both encodings, side by side.
PDDLFast DownwardClassical PlanningDerived Predicates