Automated Planning

Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Differentiable Multi-Target Causal Bayesian Experimental Design ICML 2023 Dynamic Heterogeneous Graph Attention Neural Architecture Search AAAI 2023 Eventual Discounting Temporal Logic Counterfactual Experience Replay ICML 2023 Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023 Formally Verified SAT-Based AI Planning AAAI 2023 KERM: Knowledge Enhanced Reasoning for Vision-and-Language Navigation CVPR 2023 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 Learning Rational Subgoals from Demonstrations and Instructions AAAI 2023 Learning Safe Numeric Action Models AAAI 2023 On Grounded Planning for Embodied Tasks with Language Models AAAI 2023 PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change NeurIPS 2023 Predictable MDP Abstraction for Unsupervised Model-Based RL ICML 2023 Probabilistic Tree-of-thought Reasoning for Answering Knowledge-intensive Complex Questions EMNLP 2023 Reliable Neuro-Symbolic Abstractions for Planning and Learning IJCAI 2023 Schema-adaptable Knowledge Graph Construction EMNLP 2023 Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023 Subset verification and search algorithms for causal DAGs AISTATS 2023 Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains AAAI 2023 TransPath: Learning Heuristics for Grid-Based Pathfinding via Transformers AAAI 2023 Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains AAAI 2023 ALLURE: A Multi-Modal Guided Environment for Helping Children Learn to Solve a Rubik’s Cube with Automatic Solving and Interactive Explanations AAAI 2022 Approximate Inference for Stochastic Planning in Factored Spaces PGM 2022 A Transition-based Method for Complex Question Understanding COLING 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022