← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Planning

287 directly classified papers

Papers per year

Papers

Intention Progression with Temporally Extended Goals IJCAI 2024
Analyzing and Improving the Use of the FastMap Embedding in Pathfinding Tasks AAAI 2023
On Grounded Planning for Embodied Tasks with Language Models AAAI 2023
A Formal Metareasoning Model of Concurrent Planning and Execution AAAI 2023
Automated Verification of Social Laws in Numeric Settings AAAI 2023
Subset verification and search algorithms for causal DAGs AISTATS 2023
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains AAAI 2023
Predictable MDP Abstraction for Unsupervised Model-Based RL ICML 2023
A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract) IJCAI 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023
TransPath: Learning Heuristics for Grid-Based Pathfinding via Transformers AAAI 2023
Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023
Formally Verified SAT-Based AI Planning AAAI 2023
Reliable Neuro-Symbolic Abstractions for Planning and Learning IJCAI 2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay ICML 2023
PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change NIPS 2023
Learning Safe Numeric Action Models AAAI 2023
Differentiable Multi-Target Causal Bayesian Experimental Design ICML 2023
Abstraction of Nondeterministic Situation Calculus Action Theories IJCAI 2023
KERM: Knowledge Enhanced Reasoning for Vision-and-Language Navigation CVPR 2023
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains AAAI 2023
Probabilistic Tree-of-thought Reasoning for Answering Knowledge-intensive Complex Questions EMNLP 2023
Dynamic Heterogeneous Graph Attention Neural Architecture Search AAAI 2023