automated planning

PACAR: Automated Fact-Checking with Planning and Customized Action Reasoning Using Large Language Models COLING 2024 Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024 Symbolic Reasoning Methods for AI Planning AAAI 2024 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 Automated Planning for Generating and Simulating Traffic Signal Strategies IJCAI 2023 Deductive Additivity for Planning of Natural Language Proofs ACL 2023 Learning Safe Numeric Action Models AAAI 2023 Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates NeurIPS 2023 PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change NeurIPS 2023 Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023 Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains AAAI 2023 Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains AAAI 2023 A Goal-Driven Natural Language Interface for Creating Application Integration Workflows AAAI 2022 ALLURE: A Multi-Modal Guided Environment for Helping Children Learn to Solve a Rubik’s Cube with Automatic Solving and Interactive Explanations AAAI 2022 Application of Neurosymbolic AI to Sequential Decision Making IJCAI 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022 Bounding Quality in Diverse Planning AAAI 2022 Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation AAAI 2022 Explaining the Behaviour of Hybrid Systems with PDDL+ Planning IJCAI 2022 Expressivity of Planning with Horn Description Logic Ontologies AAAI 2022 Learning to Configure Computer Networks with Neural Algorithmic Reasoning NeurIPS 2022 Making Translations to Classical Planning Competitive with Other HTN Planners AAAI 2022 Planning with Qualitative Action-Trajectory Constraints in PDDL IJCAI 2022 Target Languages (vs. Inductive Biases) for Learning to Act and Plan AAAI 2022