conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Planning

288 papers

Papers per year

37
32
'20
'25

Papers

Hybrid State Representation for Video Procedure Planning WACV 2026
Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026
Rational Revision of Group Intentions AAAI 2026
Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026
Language Model as Planner and Formalizer under Constraints ACL 2026
VG-TVP: Multimodal Procedural Planning via Visually Grounded Text-Video Prompting AAAI 2025
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025
Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025
LTLf Synthesis Under Unreliable Input AAAI 2025
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025
Approximate State Abstraction for Markov Games AAAI 2025
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025
Counting and Reasoning with Plans AAAI 2025
Learning Hierarchical Task Knowledge for Planning AAAI 2025
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach AAAI 2025
A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds AAAI 2025
Open-World Planning via Lifted Regression with LLM-Inferred Affordances for Embodied Agents ACL 2025
Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World Model ACL 2025
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025
ASHiTA: Automatic Scene-grounded HIerarchical Task Analysis CVPR 2025
RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generation EMNLP 2025
SPaRC: A Spatial Pathfinding Reasoning Challenge EMNLP 2025