Automated Planning

Leveraging Environment Interaction for Automated PDDL Translation and Planning with Large Language Models NeurIPS 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024 NaRuto: Automatically Acquiring Planning Models from Narrative Texts AAAI 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 Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024 PIVOT: Iterative Visual Prompting Elicits Actionable Knowledge for VLMs ICML 2024 PROC2PDDL: Open-Domain Planning Representations from Texts ACL 2024 Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors ICLR 2024 Retro-fallback: retrosynthetic planning in an uncertain world ICLR 2024 SG-Nav: Online 3D Scene Graph Prompting for LLM-based Zero-shot Object Navigation NeurIPS 2024 Simplifying Complex Observation Models in Continuous POMDP Planning with Probabilistic Guarantees and Practice AAAI 2024 Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives UAI 2024 Structurally Guided Task Decomposition in Spatial Navigation Tasks (Student Abstract) AAAI 2024 Symbolic Numeric Planning with Patterns AAAI 2024 Symbolic Reasoning Methods for AI Planning AAAI 2024 Towards Epistemic-Doxastic Planning with Observation and Revision AAAI 2024 What Are the Rules? Discovering Constraints from Data AAAI 2024 Abstraction of Nondeterministic Situation Calculus Action Theories IJCAI 2023 A Formal Metareasoning Model of Concurrent Planning and Execution AAAI 2023 A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract) IJCAI 2023 Analyzing and Improving the Use of the FastMap Embedding in Pathfinding Tasks AAAI 2023 Automated Planning for Generating and Simulating Traffic Signal Strategies IJCAI 2023 Automated Verification of Social Laws in Numeric Settings AAAI 2023