Susanne Biundo-Stephan
40 publications
9 venues
H Index 25
Affiliation
Ulm University, GermanyLinks
DBLP- http://www.uni-ulm.de/in/ki/biundo
- http://www.academia-net.org/profil/prof-dr-susanne-biundo-stephan/1196126
- https://en.wikipedia.org/wiki/Susanne_Biundo-Stephan
- https://www.wikidata.org/entity/Q21264745
- http://isni.org/isni/0000000114613527
- https://id.loc.gov/authorities/names/n94107837
- https://d-nb.info/gnd/122184785
- https://dblp.uni-trier.de/pers/hd/b/Biundo:Susanne
| Name | Venue | Year | citations |
|---|---|---|---|
An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems.
|
JAIR | 2025 | 0 |
| Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.
|
AAAI | 2021 | 21 |
| New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
|
ICAPS | 2020 | 16 |
| HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.
|
AAAI | 2020 | 106 |
| On Succinct Groundings of HTN Planning Problems.
|
AAAI | 2020 | 34 |
| HTN Planning as Heuristic Progression Search.
|
JAIR | 2020 | 47 |
| On Guiding Search in HTN Planning with Classical Planning Heuristics.
|
IJCAI | 2019 | 28 |
| Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
|
IJCAI | 2019 | 42 |
| Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.
|
AAAI | 2019 | 43 |
| Instructing Novice Users on How to Use Tools in DIY Projects.
|
IJCAI | 2018 | 12 |
| A Generic Method to Guide HTN Progression Search with Classical Heuristics.
|
ICAPS | 2018 | 52 |
| totSAT - Totally-Ordered Hierarchical Planning Through SAT.
|
AAAI | 2018 | 66 |
| This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.
|
ICAPS | 2017 | 31 |
| An Admissible HTN Planning Heuristic.
|
IJCAI | 2017 | 59 |
| Change the Plan - How Hard Can That Be?
|
ICAPS | 2016 | 28 |
| Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
|
ICAPS | 2016 | 52 |
| More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
|
ECAI | 2016 | 42 |
| Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
|
ICAPS | 2016 | 48 |
| A Planning-Based Assistance System for Setting Up a Home Theater.
|
AAAI | 2015 | 25 |
| Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
|
IJCAI | 2015 | 24 |
| Locally Conditioned Belief Propagation.
|
UAI | 2015 | 1 |
| On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
|
ICAPS | 2015 | 51 |
| Language Classification of Hierarchical Planning Problems.
|
ECAI | 2014 | 74 |
| Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater.
|
ICAPS | 2014 | 85 |
| Conditioned Belief Propagation Revisited.
|
ECAI | 2014 | 1 |
| Hybrid Planning Heuristics Based on Task Decomposition Graphs.
|
SOCS | 2014 | 69 |
| Exploiting Expert Knowledge in Factored POMDPs.
|
ECAI | 2012 | 11 |
| Improving Hierarchical Planning Performance by the Use of Landmarks.
|
AAAI | 2012 | 52 |
| Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations.
|
ICAPS | 2012 | 0 |
| Advanced user assistance based on AI planning.
|
Cognitive System Research | 2011 | 52 |
| Landmarks in Hierarchical Planning.
|
ECAI | 2010 | 30 |
| Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems.
|
ICAPS | 2006 | 6 |
| System Assistance in Structured Domain Model Development.
|
IJCAI | 1997 | 4 |
| Modeling Planning Domains Systematically.
|
ECAI | 1996 | 12 |
| A New Logical framework for Deductive Planning.
|
IJCAI | 1993 | 40 |
| PHI - A Logic-Based Tool for Intelligent Help Systems.
|
IJCAI | 1993 | 50 |
| Deductive Planning and Plan Reuse in a Command Language Environment.
|
ECAI | 1992 | 44 |
| Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool.
|
ECAI | 1988 | 17 |
| A Synthesis System Mechanizing Proofs by Induction.
|
ECAI | 1986 | 6 |
| The Karlsruhe Induction Theorem Proving System.
|
CADE | 1986 | 67 |