classical planning

Bilevel MCTS for Amortized O(1) Node Selection in Classical Planning AAAI 2026 Extreme Value Monte Carlo Tree Search for Classical Planning AAAI 2026 Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract) IJCAI 2025 Rolling in Classical Planning with Conditional Effects and Constraints IJCAI 2025 Sketch Decompositions for Classical Planning via Deep Reinforcement Learning IJCAI 2025 State Encodings for GNN-Based Lifted Planners AAAI 2025 Towards Practical Classical Planning Compilations of Numeric Planning AAAI 2025 An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024 GOALNET: Interleaving Neural Goal Predicate Inference with Classical Planning for Generalization in Robot Instruction Following AAAI 2024 Integrating Planning and Deep Reinforcement Learning via Automatic Induction of Task Substructures ICLR 2024 Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis AAAI 2024 Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning AAAI 2024 On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024 Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024 When CEGAR Meets Regression: A Love Story in Optimal Classical Planning AAAI 2024 Action Space Reduction for Planning Domains IJCAI 2023 Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking AAAI 2023 Formally Verified SAT-Based AI Planning AAAI 2023 Helpful Information Sharing for Partially Informed Planning Agents IJCAI 2023 On the Compilability of Bounded Numeric Planning IJCAI 2023 Zero-Knowledge Proofs for Classical Planning Problems AAAI 2023 A* Search and Bound-Sensitive Heuristics for Oversubscription Planning AAAI 2022 Classical Planning with Avoid Conditions AAAI 2022 Explainable Planner Selection for Classical Planning AAAI 2022 How to Reduce Action Space for Planning Domains? (Student Abstract) AAAI 2022