conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Planning

288 papers

Papers per year

37
32
'20
'25

Papers

Planning with State Abstractions for Non-Markovian Task Specifications RSS 2019
Efficient Planning Under Uncertainty with Incremental Refinement UAI 2019
A Weighted Mini-Bucket Bound for Solving Influence Diagram UAI 2019
Building Dialogue Structure from Discourse Tree of a Question EMNLP 2018
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus IJCAI 2018
Incrementally Grounding Expressions for Spatial Relations between Objects IJCAI 2018
Open Loop Execution of Tree-Search Algorithms IJCAI 2018
Variable-Delay Controllability IJCAI 2018
Effect-Abstraction Based Relaxation for Linear Numeric Planning IJCAI 2018
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning IJCAI 2018
Operator Counting Heuristics for Probabilistic Planning IJCAI 2018
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) IJCAI 2018
Intelligent Decision Support for Human Team Planning IJCAI 2018
Instructing Novice Users on How to Use Tools in DIY Projects IJCAI 2018
SynKit: LTL Synthesis as a Service IJCAI 2018
The Web as a Knowledge-Base for Answering Complex Questions NAACL 2018
Agent Design Consistency Checking via Planning IJCAI 2017
An Admissible HTN Planning Heuristic IJCAI 2017
Temporal Planning with Clock-Based SMT Encodings IJCAI 2017
Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming IJCAI 2017
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017
Handling non-local dead-ends in Agent Planning Programs IJCAI 2017
Faster Conflict Generation for Dynamic Controllability IJCAI 2017
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators IJCAI 2017