Skip to content
conftrace_

Gregor Behnke

14 papers · 2015–2024 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓
+6 more ↓ πŸ—ΊοΈ Taxonomy Completionist (12) πŸƒ Academic Marathon Β· Sprint 🌍 Conference Polyglot Β· Bronze πŸŒ‰ Interdisciplinary Bridge Β· Silver 🐣 Hot Topic Early Bird
🧬 Topic Evolution πŸ—ƒοΈ Keyword Collector (53) πŸ“ˆ Trend Setter πŸ’Ž Century Club Β· Bronze πŸ”₯ Unstoppable Β· Bronze πŸš€ Conference Pioneer

Venues

AAAI (8) IJCAI (6)

Top co-authors

Pascal Bercher (9) Daniel HΓΆller (8) Susanne Biundo (8) Ron Alford (2) Marvin Schiller (2) Birte Glimm (2) Michael Dorna (1) Denis Ponomaryov (1) Damien Pellier (1) Florian Nothdurft (1)

Research topics

Artificial Intelligence (9) Core AI (9) Knowledge & Reasoning (8) Reasoning (8) Computer Science (5) Foundations (5) Machine Learning (4) Optimization & Theory (4) Mathematics & Optimization (1) Optimization (1) Representation (1)

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 HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020 On Succinct Groundings of HTN Planning Problems AAAI 2020 Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019 Finding Optimal Solutions in HTN Planning - A SAT-based Approach IJCAI 2019 On Guiding Search in HTN Planning with Classical Planning Heuristics IJCAI 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