conftrace_

classical planning

57 papers

Explore in graph

Co-occurring keywords

automated planning (152) heuristic search (165) conditional effect (8) computational complexity (399) hierarchical task network (26) planning task (10) state space search (8) delete relaxation (6) lifted planning (12) plan synthesis (9)

Papers

Extreme Value Monte Carlo Tree Search for Classical Planning AAAI 2026
Bilevel MCTS for Amortized O(1) Node Selection in Classical Planning AAAI 2026
Towards Practical Classical Planning Compilations of Numeric Planning AAAI 2025
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract) IJCAI 2025
State Encodings for GNN-Based Lifted Planners AAAI 2025
Sketch Decompositions for Classical Planning via Deep Reinforcement Learning IJCAI 2025
Rolling in Classical Planning with Conditional Effects and Constraints IJCAI 2025
Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis AAAI 2024
When CEGAR Meets Regression: A Love Story in Optimal Classical 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
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning AAAI 2024
GOALNET: Interleaving Neural Goal Predicate Inference with Classical Planning for Generalization in Robot Instruction Following AAAI 2024
An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024
Zero-Knowledge Proofs for Classical Planning Problems AAAI 2023
Helpful Information Sharing for Partially Informed Planning Agents IJCAI 2023
On the Compilability of Bounded Numeric Planning IJCAI 2023
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
Explainable Planner Selection for Classical Planning AAAI 2022
A* Search and Bound-Sensitive Heuristics for Oversubscription Planning AAAI 2022
How to Reduce Action Space for Planning Domains? (Student Abstract) AAAI 2022
PG3: Policy-Guided Planning for Generalized Policy Generation IJCAI 2022
Making Translations to Classical Planning Competitive with Other HTN Planners AAAI 2022