automated planning

Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025 Towards Practical Classical Planning Compilations of Numeric Planning AAAI 2025 Using Planning for Automated Testing of Video Games IJCAI 2025 A Decision-Language Model (DLM) for Dynamic Restless Multi-Armed Bandit Tasks in Public Health NeurIPS 2024 An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024 A Survey on Plan Optimization IJCAI 2024 Belief-State Query Policies for User-Aligned POMDPs NeurIPS 2024 Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning AAAI 2024 Chain of Thoughtlessness? An Analysis of CoT in Planning NeurIPS 2024 Conversational Modeling for Constraint Satisfaction AAAI 2024 Does Robin Hood Use a Lightsaber?: Automated Planning for Storytelling AAAI 2024 Domain Engineering to Represent Human Behavior Using Multi-Agent Planning and Inductive Methodologies AAAI 2024 Expressive and Flexible Simulation of Information Spread Strategies in Social Networks Using Planning AAAI 2024 Generalising Planning Environment Redesign AAAI 2024 Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024 Guiding GBFS through Learned Pairwise Rankings IJCAI 2024 Inference via Interpolation: Contrastive Representations Provably Enable Planning and Inference NeurIPS 2024 Learning Domain-Independent Heuristics for Grounded and Lifted Planning AAAI 2024 Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains IJCAI 2024 Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis AAAI 2024 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 Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning AAAI 2024 Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024