Automated Planning

Computational Complexity of Repair Problems on Simple Temporal Networks with Uncertainty UAI 2026 Hybrid State Representation for Video Procedure Planning WACV 2026 Language Model as Planner and Formalizer under Constraints ACL 2026 Planning with Formal Reachability Guarantees in Goal-Oriented MDPs with Dead-Ends UAI 2026 Rational Revision of Group Intentions AAAI 2026 Stochastic Safe Action Model Learning COLT 2026 Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026 Abstraction Heuristics for Classical Planning Tasks with Conditional Effects IJCAI 2025 A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds AAAI 2025 An Approach to Quantify Plans Robustness in Real-world Applications IJCAI 2025 An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025 Approximate State Abstraction for Markov Games AAAI 2025 ASHiTA: Automatic Scene-grounded HIerarchical Task Analysis CVPR 2025 ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025 A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025 CogniPlan: Uncertainty-Guided Path Planning with Conditional Generative Layout Prediction CoRL 2025 Counting and Reasoning with Plans AAAI 2025 Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World Model ACL 2025 Enter the Mind Palace: Reasoning and Planning for Long-term Active Embodied Question Answering CoRL 2025 Generating Long-form Story Using Dynamic Hierarchical Outlining with Memory-Enhancement NAACL 2025 Gravity-Bench-v1: A Benchmark on Gravitational Physics Discovery for Agents ICML 2025 Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions IJCAI 2025