automated planning

A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation AAAI 2026 Inapproximability of STRIPS Planning AAAI 2026 Language Model as Planner and Formalizer under Constraints ACL 2026 Makespan Investigations of Sequential, Parallel, PO, and POCL Plans AAAI 2026 Principles2Plan: LLM-Guided System for Operationalising Ethical Principles into Plans AAAI 2026 Stochastic Safe Action Model Learning COLT 2026 Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026 Symmetry-Aware Transformer Training for Automated Planning AAAI 2026 Abstraction Heuristics for Classical Planning Tasks with Conditional Effects IJCAI 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 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 AttributeForge: An Agentic LLM Framework for Automated Product Schema Modeling EMNLP 2025 Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract) AAAI 2025 Computational Complexity of Planning for Recursive Primitive Task Networks: Selective Action Nullification with State Preservation IJCAI 2025 Counting and Reasoning with Plans AAAI 2025 Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions IJCAI 2025 Learning Hierarchical Task Knowledge for Planning AAAI 2025 LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025 On the Limit of Language Models as Planning Formalizers ACL 2025 PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving EMNLP 2025 Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts AAAI 2025 TCP: a Benchmark for Temporal Constraint-Based Planning EMNLP 2025 TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching ICML 2025