← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Planning

287 directly classified papers

Papers per year

Papers

Simplifying Complex Observation Models in Continuous POMDP Planning with Probabilistic Guarantees and Practice AAAI 2024
Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024
Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024
Graph Learning for Numeric Planning NIPS 2024
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning AAAI 2024
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024
Chain of Thoughtlessness? An Analysis of CoT in Planning NIPS 2024
Leveraging Environment Interaction for Automated PDDL Translation and Planning with Large Language Models NIPS 2024
Learning Safe Action Models with Partial Observability AAAI 2024
Conversational Modeling for Constraint Satisfaction AAAI 2024
SG-Nav: Online 3D Scene Graph Prompting for LLM-based Zero-shot Object Navigation NIPS 2024
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024
Belief-State Query Policies for User-Aligned POMDPs NIPS 2024
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning AAAI 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Symbolic Numeric Planning with Patterns AAAI 2024
Learning Domain-Independent Heuristics for Grounded and Lifted Planning AAAI 2024
Automated CPU Design by Learning from Input-Output Examples IJCAI 2024
Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process IJCAI 2024
Integrated Systems for Computational Scientific Discovery AAAI 2024
Laying the Foundations for Solving FOND HTN Problems: Grounding, Search, Heuristics (and Benchmark Problems) IJCAI 2024
Learning Neuro-Symbolic Abstractions for Robot Planning and Learning AAAI 2024
Inference via Interpolation: Contrastive Representations Provably Enable Planning and Inference NIPS 2024
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024
Structurally Guided Task Decomposition in Spatial Navigation Tasks (Student Abstract) AAAI 2024