conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Planning

288 papers

Papers per year

37
32
'20
'25

Papers

LTL-Constrained Steady-State Policy Synthesis IJCAI 2021
Online Learning of Action Models for PDDL Planning IJCAI 2021
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning IJCAI 2021
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models IJCAI 2021
Learning Temporal Plan Preferences from Examples: An Empirical Study IJCAI 2021
On Weak Stubborn Sets in Classical Planning IJCAI 2021
Distributional Metareasoning for Heuristic Search IJCAI 2021
Data-Driven Abstraction of Monotone Systems L4DC 2021
Narrative Planning Model Acquisition from Text Summaries and Descriptions AAAI 2020
Expectation-Aware Planning: A Unifying Framework for Synthesizing and Executing Self-Explaining Plans for Human-Aware Planning AAAI 2020
Learning and Reasoning for Robot Sequential Decision Making under Uncertainty AAAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020
Online Planner Selection with Graph Neural Networks and Adaptive Scheduling AAAI 2020
Implicit Coordination Using FOND Planning AAAI 2020
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020
On Succinct Groundings of HTN Planning Problems AAAI 2020
POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization AAAI 2020
Planning and Acting with Non-Deterministic Events: Navigating between Safe States AAAI 2020
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning AAAI 2020
Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems AAAI 2020
Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020
Information Shaping for Enhanced Goal Recognition of Partially-Informed Agents AAAI 2020
Semantic Attachments for HTN Planning AAAI 2020
Generalized Planning with Positive and Negative Examples AAAI 2020