default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGregor 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, Joan Espasa, Gregor Behnke, Daniel Fiser, Michael Gimelfarb, Florian Pommerening, Scott Sanner, Enrico Scala, Dominik Schreiber, Javier Segovia-Aguas, Jendrik Seipp:
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, Simona Ondrcková, Roman Barták, Pascal Bercher:
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI 2023: 12041-12048 - [c50]Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi:
On Partial Satisfaction Planning with Total-Order HTNs. ICAPS 2023: 42-51 - [c49]Songtuan Lin, Gregor Behnke, Pascal Bercher:
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. ECAI 2023: 1489-1496 - [c48]Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke:
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, Niklas Wais:
On the Semantic Difference of Judicial and Standard Language. ICAIL 2023: 382-386 - 2022
- [c45]Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford:
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á, Roman Barták, Pascal Bercher, Gregor Behnke:
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS 2022 - 2021
- [j6]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford:
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, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
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, Gregor Behnke, Pascal Bercher, Susanne Biundo:
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, Simona Ondrcková, Gregor Behnke, Pascal Bercher:
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, Pascal Bercher, Gregor Behnke, Susanne Biundo:
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67: 835-880 (2020) - [c36]Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo:
On Succinct Groundings of HTN Planning Problems. AAAI 2020: 9775-9784 - [c35]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford:
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, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker:
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI 2020: 585-594 - [c32]Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher:
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI 2020: 118-125 - [c31]Daniel Höller, Pascal Bercher, Gregor Behnke:
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI 2020: 4076-4083 - [c30]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
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, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo:
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, Daniel Höller, Susanne Biundo:
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI 2019: 5500-5508 - [c27]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
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, Daniel Höller, Susanne Biundo:
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI 2018: 73-80 - [c22]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. ICTAI 2018: 466-473 - [c21]Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018: 5805-5807 - [c20]Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker:
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS 2018: 405-410 - [c19]Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker:
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, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Sloth - The interactive workout planner. ICCT 2017: 1-6 - [c15]Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT 2017: 1-6 - [c14]Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo:
An Admissible HTN Planning Heuristic. IJCAI 2017: 480-488 - [p3]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning. Companion Technology 2017: 79-100 - [p2]Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo:
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, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, Susanne Biundo:
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, Daniel Höller, Gregor Behnke, Susanne Biundo:
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI 2016: 225-233 - [c9]Florian Nothdurft, Pascal Bercher, Gregor Behnke, Wolfgang Minker:
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, Pascal Bercher, Susanne Biundo, Wolfgang Minker:
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference 2015: 344-353 - 2014
- [c1]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
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-10-28 21:16 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:
