default search action
Gregor Behnke
Person information
- affiliation: University of Freiburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Ayal Taitler
, Ron Alford
The 2023 International Planning Competition. AI Mag. 45(2): 280-296 (2024) - [c56]Pascal Bachor, Gregor Behnke:
Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis. AAAI 2024: 20028-20035 - [c55]Gregor Behnke:
Symbolic Reasoning Methods for AI Planning. AAAI 2024: 22661 - [c54]Gregor Behnke:
Contributions to the Journal Track. ECAI 2024: 51-54 - [c53]Gregor Behnke
Barely Decidable Fragments of Planning. ECAI 2024: 4198-4206 - [c52]Gregor Behnke, Marcel Steinmetz:
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. ICAPS 2024: 20-24 - [i3]Gregor Behnke, Marcel Steinmetz:
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report. CoRR abs/2403.17826 (2024) - 2023
- [c51]Songtuan Lin, Gregor Behnke
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI 2023: 12041-12048 - [c50]Gregor Behnke
On Partial Satisfaction Planning with Total-Order HTNs. ICAPS 2023: 42-51 - [c49]Songtuan Lin, Gregor Behnke
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. ECAI 2023: 1489-1496 - [c48]Simona Ondrcková
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. FLAIRS 2023 - [c47]Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On the Impact of Grounding on HTN Plan Verification via Parsing. ICAART (3) 2023: 92-99 - [c46]Gregor Behnke
On the Semantic Difference of Judicial and Standard Language. ICAIL 2023: 382-386 - 2022
- [c45]Gregor Behnke
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI 2022: 9687-9697 - [c44]Daniel Höller, Gregor Behnke:
Encoding Lifted Classical Planning in Propositional Logic. ICAPS 2022: 134-144 - [c43]Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke:
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022: 145-150 - [c42]Simona Ondrcková
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS 2022 - 2021
- [j6]Pascal Bercher
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. 42(1): 83-85 (2021) - [j5]Pascal Bercher
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35(3): 367-375 (2021) - [j4]Daniel Höller
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35(3): 391-396 (2021) - [c41]Gregor Behnke, David Speck:
Symbolic Search for Optimal Total-Order HTN Planning. AAAI 2021: 11744-11754 - [c40]Gregor Behnke:
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning. ICAPS 2021: 25-35 - [c39]Daniel Höller, Gregor Behnke:
Loop Detection in the PANDA Planning System. ICAPS 2021: 168-173 - [c38]Roman Barták
On the Verification of Totally-Ordered HTN Plans. ICTAI 2021: 263-267 - [c37]Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
Correcting Hierarchical Plans by Action Deletion. KR 2021: 99-109 - 2020
- [j3]Daniel Höller
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67: 835-880 (2020) - [c36]Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher
On Succinct Groundings of HTN Planning Problems. AAAI 2020: 9775-9784 - [c35]Daniel Höller, Gregor Behnke, Pascal Bercher
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI 2020: 9883-9891 - [c34]Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo:
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020: 343-347 - [c33]Matthias Kraus
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI 2020: 585-594 - [c32]Roman Barták
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI 2020: 118-125 - [c31]Daniel Höller, Pascal Bercher
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI 2020: 4076-4083 - [c30]Daniel Höller, Pascal Bercher
HTN Plan Repair via Model Transformation. KI 2020: 88-101
2010 – 2019
- 2019
- [b1]Gregor Behnke:
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible. University of Ulm, Germany, 2019 - [j2]Gregor Behnke
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32(1): 31-57 (2019) - [c29]Gregor Behnke, Daniel Höller, Susanne Biundo:
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI 2019: 7520-7529 - [c28]Gregor Behnke
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI 2019: 5500-5508 - [c27]Daniel Höller, Pascal Bercher
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI 2019: 6171-6175 - [p4]Gregor Behnke:
Hierarchisches Planen durch Propositionale Logik. Ausgezeichnete Informatikdissertationen 2019: 39-48 - [i2]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
Hierarchical Planning in the IPC. CoRR abs/1909.04405 (2019) - [i1]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR abs/1911.05499 (2019) - 2018
- [j1]Gregor Behnke, Susanne Biundo:
X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artif. 21(62): 75-90 (2018) - [c26]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. AAAI Workshops 2018: 607-613 - [c25]Gregor Behnke, Daniel Höller, Susanne Biundo:
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI 2018: 6110-6118 - [c24]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS 2018: 114-122 - [c23]Gregor Behnke
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI 2018: 73-80 - [c22]Daniel Höller, Gregor Behnke
Plan and Goal Recognition as HTN Planning. ICTAI 2018: 466-473 - [c21]Gregor Behnke
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018: 5805-5807 - [c20]Matthias Kraus
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS 2018: 405-410 - [c19]Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus
Evaluating Knowledge-Based Assistance for DIY. MuC (Workshopband) 2018 - 2017
- [c18]Gregor Behnke, Daniel Höller, Susanne Biundo:
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017: 20-28 - [c17]Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo:
Help me make a dinner! Challenges when assisting humans in action planning. ICCT 2017 - [c16]Gregor Behnke
Sloth - The interactive workout planner. ICCT 2017: 1-6 - [c15]Marvin R. G. Schiller, Gregor Behnke
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT 2017: 1-6 - [c14]Pascal Bercher
An Admissible HTN Planning Heuristic. IJCAI 2017: 480-488 - [p3]Pascal Bercher
User-Centered Planning. Companion Technology 2017: 79-100 - [p2]Gregor Behnke
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. Companion Technology 2017: 123-144 - [p1]Pascal Bercher
Advanced User Assistance for Setting Up a Home Theater. Companion Technology 2017: 485-491 - 2016
- [c13]Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha:
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS 2016: 20-28 - [c12]Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo:
Change the Plan - How Hard Can That Be? ICAPS 2016: 38-46 - [c11]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016: 158-165 - [c10]Pascal Bercher
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI 2016: 225-233 - [c9]Florian Nothdurft, Pascal Bercher
User Involvement in Collaborative Decision-Making Dialog Systems. IWSDS 2016: 129-141 - 2015
- [c8]Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo:
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI 2015: 4264-4265 - [c7]Gregor Behnke, Daniel Höller, Susanne Biundo:
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS 2015: 25-33 - [c6]Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo:
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT 2015: 43-48 - [c5]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT 2015: 79-83 - [c4]Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller:
Integrating Ontologies and Planning for Cognitive Systems. Description Logics 2015 - [c3]Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo:
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015: 1442-1449 - [c2]Florian Nothdurft, Gregor Behnke
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference 2015: 344-353 - 2014
- [c1]Daniel Höller, Gregor Behnke
Language Classification of Hierarchical Planning Problems. ECAI 2014: 447-452
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: