Automated Planning

Intelligent Decision Support for Human Team Planning IJCAI 2018 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning IJCAI 2018 Open Loop Execution of Tree-Search Algorithms IJCAI 2018 Operator Counting Heuristics for Probabilistic Planning IJCAI 2018 Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 The Web as a Knowledge-Base for Answering Complex Questions NAACL 2018 Variable-Delay Controllability 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 An Admissible HTN Planning Heuristic IJCAI 2017 An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization IJCAI 2017 Automated Planning for Urban Traffic Management IJCAI 2017 Efficient, Safe, and Probably Approximately Complete Learning of Action Models IJCAI 2017 Faster Conflict Generation for Dynamic Controllability IJCAI 2017 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017 Handling non-local dead-ends in Agent Planning Programs IJCAI 2017 Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017 Landmarks for Numeric Planning Problems IJCAI 2017 Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs IJCAI 2017 New Metrics and Algorithms for Stochastic Goal Recognition Design Problems IJCAI 2017 Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming IJCAI 2017 Numeric Planning via Abstraction and Policy Guided Search IJCAI 2017 On Creating Complementary Pattern Databases IJCAI 2017 On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017