automated planning

On Succinct Groundings of HTN Planning Problems AAAI 2020 Optimal Planning Modulo Theories IJCAI 2020 Planning and Acting with Non-Deterministic Events: Navigating between Safe States AAAI 2020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Refining HTN Methods via Task Insertion with Preferences AAAI 2020 Reshaping Diverse Planning AAAI 2020 Semantic Attachments for HTN Planning AAAI 2020 Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning IJCAI 2020 Temporal Planning with Intermediate Conditions and Effects AAAI 2020 The Emerging Landscape of Explainable Automated Planning & Decision Making IJCAI 2020 Top-Quality Planning: Finding Practically Useful Sets of Best Plans AAAI 2020 Visually-Grounded Planning without Vision: Language Models Infer Detailed Plans from High-level Instructions EMNLP 2020 Acting and Planning Using Operational Models AAAI 2019 AI Planning for Enterprise: Putting Theory Into Practice IJCAI 2019 A Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs IJCAI 2019 Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019 Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection AAAI 2019 Do You Need Infinite Time? IJCAI 2019 Frontier Search and Plan Reconstruction in Oversubscription Planning AAAI 2019 Generalized Planning via Abstraction: Arbitrary Numbers of Objects AAAI 2019 Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea) AAAI 2019 Learning Features and Abstract Actions for Computing Generalized Plans AAAI 2019 Moral Permissibility of Action Plans AAAI 2019 Plan-Length Bounds: Beyond 1-Way Dependency AAAI 2019