Susanne Biundo

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 48

Top Topics

Planning Problems

Probabilistic Model

Top Venues

Künstliche Intell.

Publications

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) (2021)
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) (2021)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35 (3) (2021)
Conny Olz, Susanne Biundo, Pascal Bercher
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. AAAI (2021)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
HTN Plan Repair via Model Transformation. KI (2020)
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)
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)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67 (2020)
Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo
On Succinct Groundings of HTN Planning Problems. AAAI (2020)
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)
Gregor Behnke, Daniel Höller, Susanne Biundo
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI (2019)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR (2019)
Gregor Behnke, Daniel Höller, Susanne Biundo
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI (2019)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI (2019)
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) (2019)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
Hierarchical Planning in the IPC. CoRR (2019)
Gregor Behnke, Daniel Höller, Susanne Biundo
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI (2018)
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)
Gregor Behnke, Daniel Höller, Susanne Biundo
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI (2018)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS (2018)
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. Mensch & Computer Workshopband (2018)
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)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Plan and Goal Recognition as HTN Planning. ICTAI (2018)
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) (2018)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
Plan and Goal Recognition as HTN Planning. AAAI Workshops (2018)
Gregor Behnke, Daniel Höller, Susanne Biundo
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS (2017)
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)
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)
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)
Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo
An Admissible HTN Planning Heuristic. IJCAI (2017)
Susanne Biundo, Andreas Wendemuth
Companion-Technology for Cognitive Technical Systems. Künstliche Intell. 30 (1) (2016)
Susanne Biundo, Daniel Höller, Pascal Bercher
Special Issue on Companion Technologies. Künstliche Intell. 30 (1) (2016)
Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher
Companion-Technology: An Overview. Künstliche Intell. 30 (1) (2016)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS (2016)
Michael Glodek, Georg Layher, Heiko Neumann, Susanne Biundo, Günther Palm
On Stacking Probabilistic Temporal Models with Bidirectional Information Flow. Probabilistic Graphical Models (2016)
Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
Change the Plan - How Hard Can That Be? ICAPS (2016)
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)
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)
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)
Michael Glodek, Frank Honold, Thomas Geier, Gerald Krell, Florian Nothdurft, Stephan Reuter, Felix Schüssel, Thilo Hörnle, Klaus C. J. Dietmayer, Wolfgang Minker, Susanne Biundo, Michael Weber, Günther Palm, Friedhelm Schwenker
Fusion paradigms in cognitive technical systems for human-computer interaction. Neurocomputing 161 (2015)
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)
Gregor Behnke, Daniel Höller, Susanne Biundo
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS (2015)
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)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT (2015)
Thomas Geier, Felix Richter, Susanne Biundo
Locally Conditioned Belief Propagation. UAI (2015)
Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference (2015)
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)
Felix Richter, Thomas Geier, Susanne Biundo
Believing in POMDPs. ISCT (2015)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Language Classification of Hierarchical Planning Problems. ECAI (2014)
Pascal Bercher, Shawn Keen, Susanne Biundo
Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS (2014)
Pascal Bercher, Susanne Biundo, Thomas Geier, Thilo Hoernle, Florian Nothdurft, Felix Richter, Bernd Schattenberg
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater. ICAPS (2014)
Thomas Geier, Felix Richter, Susanne Biundo
Conditioned Belief Propagation Revisited. ECAI (2014)
Pascal Bercher, Thomas Geier, Susanne Biundo
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. KI (2013)
Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo
On Delete Relaxation in Partial-Order Causal-Link Planning. ICTAI (2013)
Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Günther Palm
Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic. ICTAI (2013)
Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer
Track-Person Association Using a First-Order Probabilistic Model. ICTAI (2012)
Pascal Bercher, Susanne Biundo
A Heuristic for Hybrid Planning with Preferences. FLAIRS Conference (2012)
Felix Müller, Christian Späth, Thomas Geier, Susanne Biundo
Exploiting Expert Knowledge in Factored POMDPs. ECAI (2012)
Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI (2012)
Thomas Geier, Stephan Reuter, Klaus Dietmayer, Susanne Biundo
Goal-Based Person Tracking Using a First-Order Probabilistic Model. BMA (2012)
Bastian Seegebarth, Felix Müller, Bernd Schattenberg, Susanne Biundo
Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. ICAPS (2012)
Susanne Biundo, Dietmar F. Rösner, Harald C. Traue, Andreas Wendemuth
Workshop: Companion-Systeme und Mensch-Companion-Interaktion. GI-Jahrestagung (2011)
Andreas Wendemuth, Susanne Biundo
A Companion Technology for Cognitive Technical Systems. COST 2102 Training School (2011)
Felix Müller, Susanne Biundo
HTN-Style Planning in Relational POMDPs Using First-Order FSCs. KI (2011)
Susanne Biundo, Julien Bidot, Bernd Schattenberg
Planning in the Real World. Inform. Spektrum 34 (5) (2011)
Mohamed Elkawkagy, Susanne Biundo
Hybrid Multi-agent Planning. MATES (2011)
Thomas Geier, Susanne Biundo
Approximate Online Inference for Dynamic Markov Logic Networks. ICTAI (2011)
Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg
Advanced user assistance based on AI planning. Cogn. Syst. Res. 12 (3-4) (2011)
Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo
Landmarks in Hierarchical Planning. ECAI (2010)
Julien Bidot, Susanne Biundo, Tobias Heinroth, Wolfgang Minker, Florian Nothdurft, Bernd Schattenberg
Verbal Plan Explanations for Hybrid Planning. MKWI (2010)
Susanne Biundo, Andreas Wendemuth
-Systemen. Künstliche Intell. 24 (4) (2010)
Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo
A Framework for Interactive Hybrid Planning. KI (2009)
Julien Bidot, Bernd Schattenberg, Susanne Biundo
Plan Repair in Hybrid Planning. KI (2008)
Bernd Schattenberg, Julien Bidot, Susanne Biundo
On the Construction and Evaluation of Flexible Plan-Refinement Strategies. KI (2007)
Bernd Schattenberg, Steffen Balzer, Susanne Biundo
Realizing Hybrid Planning Systems as Modern Software Environments. Künstliche Intell. 21 (1) (2007)
Bernd Schattenberg, Susanne Biundo
A Unifying Framework for Hybrid Planning and Scheduling. KI (2006)
Bernd Schattenberg, Steffen Balzer, Susanne Biundo
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS (2006)
Bernd Schattenberg, Andreas Weigl, Susanne Biundo
Hybrid Planning Using Flexible Strategies. KI (2005)
Bernd Schattenberg, Susanne Biundo
On the Identification and Use of Hierarchical Resources in Planning and Scheduling. AIPS (2002)
Susanne Biundo, Werner Stephan
System Assistance in Structured Domain Model Development. IJCAI (1997)
Susanne Biundo, Werner Stephan
Modeling Planning Domains Systematically. ECAI (1996)
Werner Stephan, Susanne Biundo
Deduction-Based Refinement Planning. AIPS (1996)
Werner Stephan, Susanne Biundo
Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA (1995)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
The System PH. PuK (1994)
Werner Stephan, Susanne Biundo
A New Logical framework for Deductive Planning. IJCAI (1993)
Werner Stephan, Susanne Biundo
A New Logical Framework for deductive Planning. PuK (1993)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI (1993)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
PHI - A Logica-Based Tool for Intelligent Help Systems. PuK (1993)
Susanne Biundo, Dietmar Dengler, Jana Koehler
Deductive Planning and Plan Reuse in a Command Language Environment. ECAI (1992)
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger
Integrated Plan Generation and Recognition - A Logic-Based Approach. Wissensbasierte Systeme (1991)
Susanne Biundo
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI (1988)
Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther
The Karlsruhe Induction Theorem Proving System. CADE (1986)
Susanne Biundo
A Synthesis System Mechanizing Proofs by Induction. ECAI (1986)