Gregor Behnke
14 papers · 2015–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Academic Marathon (9) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π Cross-Pollinator (4)
π
Cross-Pollinator
(4)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(12)
π§¬
Topic Evolution
π
Keyword Champion
(2)
π
Century Club
(14)
ποΈ
Keyword Collector
(53)
π
Conference Pioneer
π₯
Unstoppable
(8)
π
Trend Setter
Conferences
AAAI (8)
IJCAI (6)
Top co-authors
Keywords
automated planning
(6)
hierarchical task network
(6)
htn planning
(5)
hierarchical planning
(5)
hierarchical task network planning
(3)
optimal planning
(3)
heuristic search
(3)
classical planning
(3)
planning algorithm
(2)
plan verification
(2)
sat solving
(2)
propositional logic
(2)
domain-independent planning
(2)
sat planning
(2)
task decomposition graph
(1)
admissible heuristic
(1)
complexity analysis
(1)
partial order
(1)
integer programming
(1)
task decomposition
(1)
Papers
Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis
AAAI 2024
Symbolic Reasoning Methods for AI Planning
AAAI 2024
On Total-Order HTN Plan Verification with Method Preconditions β An Extension of the CYK Parsing Algorithm
AAAI 2023
Making Translations to Classical Planning Competitive with Other HTN Planners
AAAI 2022
Symbolic Search for Optimal Total-Order HTN Planning
AAAI 2021
Delete- and Ordering-Relaxation Heuristics for HTN Planning
IJCAI 2020
On Succinct Groundings of HTN Planning Problems
AAAI 2020
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems
AAAI 2020
Finding Optimal Solutions in HTN Planning - A SAT-based Approach
IJCAI 2019
On Guiding Search in HTN Planning with Classical Planning Heuristics
IJCAI 2019
Bringing Order to Chaos β A Compact Representation of Partial Order in SAT-Based HTN Planning
AAAI 2019
Instructing Novice Users on How to Use Tools in DIY Projects
IJCAI 2018
An Admissible HTN Planning Heuristic
IJCAI 2017
Coherence Across Components in Cognitive Systems β One Ontology to Rule Them All
IJCAI 2015