Gregor Behnke

28 publications

6 venues

H Index 16

Name Venue Year citations
Encoding Lifted Classical Planning in Propositional Logic. ICAPS 2022 0
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022 0
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI 2022 0
Correcting Hierarchical Plans by Action Deletion. KR 2021 0
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning. ICAPS 2021 3
Loop Detection in the PANDA Planning System. ICAPS 2021 2
Symbolic Search for Optimal Total-Order HTN Planning. AAAI 2021 2
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI 2020 22
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI 2020 7
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020 9
HTN Planning as Heuristic Progression Search. JAIR 2020 16
On Succinct Groundings of HTN Planning Problems. AAAI 2020 19
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI 2019 28
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI 2019 16
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI 2019 24
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI 2018 37
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS 2018 32
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018 11
An Admissible HTN Planning Heuristic. IJCAI 2017 29
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017 22
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016 34
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS 2016 32
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI 2016 28
Change the Plan - How Hard Can That Be? ICAPS 2016 23
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS 2015 40
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015 20
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI 2015 24
Language Classification of Hierarchical Planning Problems. ECAI 2014 50
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ