Name Venue Year citations
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. AAAI 2021 8
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020 14
On Succinct Groundings of HTN Planning Problems. AAAI 2020 24
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI 2020 40
HTN Planning as Heuristic Progression Search. JAIR 2020 25
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI 2019 18
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI 2019 31
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI 2019 27
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018 12
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI 2018 42
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS 2018 40
An Admissible HTN Planning Heuristic. IJCAI 2017 36
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017 24
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS 2016 36
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI 2016 31
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016 40
Change the Plan - How Hard Can That Be? ICAPS 2016 25
Locally Conditioned Belief Propagation. UAI 2015 1
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS 2015 44
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015 22
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI 2015 25
Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS 2014 59
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater. ICAPS 2014 75
Language Classification of Hierarchical Planning Problems. ECAI 2014 55
Conditioned Belief Propagation Revisited. ECAI 2014 1
Exploiting Expert Knowledge in Factored POMDPs. ECAI 2012 14
Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI 2012 49
Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. ICAPS 2012 102
Advanced user assistance based on AI planning. Cognitive System Research 2011 52
Landmarks in Hierarchical Planning. ECAI 2010 28
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS 2006 6
System Assistance in Structured Domain Model Development. IJCAI 1997 4
Modeling Planning Domains Systematically. ECAI 1996 13
PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI 1993 49
A New Logical framework for Deductive Planning. IJCAI 1993 41
Deductive Planning and Plan Reuse in a Command Language Environment. ECAI 1992 43
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI 1988 13
A Synthesis System Mechanizing Proofs by Induction. ECAI 1986 6
The Karlsruhe Induction Theorem Proving System. CADE 1986 73
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ