automated planning

Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains IJCAI 2019 Preference Elicitation and Explanation in Iterative Planning IJCAI 2019 Profiles, Proxies, and Assumptions: Decentralized, Communications-Resilient Planning, Allocation, and Scheduling AAAI 2019 Solving Multiagent Planning Problems with Concurrent Conditional Effects AAAI 2019 Why Can’t You Do That HAL? Explaining Unsolvability of Planning Tasks IJCAI 2019 Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) IJCAI 2018 Instructing Novice Users on How to Use Tools in DIY Projects IJCAI 2018 LTL Realizability via Safety and Reachability Games IJCAI 2018 Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018 Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search IJCAI 2018 A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) IJCAI 2017 Agent Design Consistency Checking via Planning IJCAI 2017 Automated Planning for Urban Traffic Management IJCAI 2017 Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search IJCAI 2017 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017 Generating Context-Free Grammars using Classical Planning IJCAI 2017 Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017 On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017 Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators IJCAI 2017 Real--Time UAV Maneuvering via Automated Planning in Simulations IJCAI 2017 Refinement of Intentions IJCAI 2017 Relaxed Exists-Step Plans in Planning as SMT IJCAI 2017 Temporal Planning with Clock-Based SMT Encodings IJCAI 2017 Bridging the Gap Between Refinement and Heuristics in Abstraction IJCAI 2013 Symbolic Opportunistic Policy Iteration for Factored-Action MDPs NeurIPS 2013