← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Planning

287 directly classified papers

Papers per year

Papers

A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025
Open-World Planning via Lifted Regression with LLM-Inferred Affordances for Embodied Agents ACL 2025
TCP: a Benchmark for Temporal Constraint-Based Planning EMNLP 2025
Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World Model ACL 2025
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds AAAI 2025
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions IJCAI 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools NAACL 2025
PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving EMNLP 2025
Approximate State Abstraction for Markov Games AAAI 2025
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025
Expressive and Flexible Simulation of Information Spread Strategies in Social Networks Using Planning AAAI 2024
Symbolic Reasoning Methods for AI Planning AAAI 2024
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024
Towards Epistemic-Doxastic Planning with Observation and Revision AAAI 2024
Goal Alignment: Re-analyzing Value Alignment Problems Using Human-Aware AI AAAI 2024
What Are the Rules? Discovering Constraints from Data AAAI 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Learning to Optimize Permutation Flow Shop Scheduling via Graph-Based Imitation Learning AAAI 2024
Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning AAAI 2024
Conversational Modeling for Constraint Satisfaction AAAI 2024
Belief-State Query Policies for User-Aligned POMDPs NIPS 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
Inference via Interpolation: Contrastive Representations Provably Enable Planning and Inference NIPS 2024