conftrace_

plan synthesis

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automated planning (6) generalized planning (3) classical planning (3) partially observed world (1) semantic co-association (1) situation calculus (1) planning compilation (1) logarithmic encoding (1) conditional effect (1) plan validation (1)

Papers

Makespan Investigations of Sequential, Parallel, PO, and POCL Plans AAAI 2026 Satisficing and Optimal Generalised Planning via Goal Regression AAAI 2026 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 Towards Practical Classical Planning Compilations of Numeric Planning AAAI 2025 Generalized Planning with Positive and Negative Examples AAAI 2020 Generalized Planning via Abstraction: Arbitrary Numbers of Objects AAAI 2019 Grounding Robot Plans from Natural Language Instructions with Incomplete World Knowledge CoRL 2018 Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search IJCAI 2018 Synthesizing Robust Plans under Incomplete Domain Models NeurIPS 2013