The Karlsruhe Induction Theorem Proving System. - Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther (CADE, 1986)

A Synthesis System Mechanizing Proofs by Induction. - Susanne Biundo (ECAI, 1986)

Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. - Susanne Biundo (ECAI, 1988)

Integrated Plan Generation and Recognition - A Logic-Based Approach. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; Gaby Merziger (Wissensbasierte Systeme, 1991)

Automatische Synthese rekursiver Programme als Beweisverfahren - Susanne Biundo (Springer, 1992)

Deductive Planning and Plan Reuse in a Command Language Environment. - Susanne Biundo; Dietmar Dengler; Jana Koehler (ECAI, 1992)

Automatische Synthese rekursiver Programme als Beweisverfahren - Susanne Biundo (1992)

PHI - A Logic-Based Tool for Intelligent Help Systems. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul (IJCAI, 1993)

A New Logical framework for Deductive Planning. - Werner Stephan 001; Susanne Biundo (IJCAI, 1993)

PHI - A Logica-Based Tool for Intelligent Help Systems. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul (PuK, 1993)

The System PH. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul (PuK, 1994)

Multilevel Refinement Planning in an Interval-Based Temporal Logic. - Werner Stephan 001; Susanne Biundo (EPIA, 1995)

Deduction-Based Refinement Planning. - Werner Stephan 001; Susanne Biundo (AIPS, 1996)

Modeling Planning Domains Systematically. - Susanne Biundo; Werner Stephan 001 (ECAI, 1996)

System Assistance in Structured Domain Model Development. - Susanne Biundo; Werner Stephan 001 (IJCAI, 1997)

On the Identification and Use of Hierarchical Resources in Planning and Scheduling. - Bernd Schattenberg; Susanne Biundo (AIPS, 2002)

Hybrid Planning Using Flexible Strategies. - Bernd Schattenberg; Andreas Weigl; Susanne Biundo (KI, 2005)

Was ist Informatik? - unser Positionspapier. - Susanne Biundo; Volker Claus; Heinrich C. Mayr (Gesellschaft für Informatik e.V., 2006)

Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. - Bernd Schattenberg; Steffen Balzer; Susanne Biundo (ICAPS, 2006)

A Unifying Framework for Hybrid Planning and Scheduling. - Bernd Schattenberg; Susanne Biundo (KI, 2006)

On the Construction and Evaluation of Flexible Plan-Refinement Strategies. - Bernd Schattenberg; Julien Bidot; Susanne Biundo (KI, 2007)

Realizing Hybrid Planning Systems as Modern Software Environments. - Bernd Schattenberg; Steffen Balzer; Susanne Biundo (Künstliche Intell., 2007)

Plan Repair in Hybrid Planning. - Julien Bidot; Bernd Schattenberg; Susanne Biundo (KI, 2008)

A Framework for Interactive Hybrid Planning. - Bernd Schattenberg; Julien Bidot; Sascha Geßler; Susanne Biundo (KI, 2009)

Landmarks in Hierarchical Planning. - Mohamed Elkawkagy; Bernd Schattenberg; Susanne Biundo (ECAI, 2010)

Verbal Plan Explanations for Hybrid Planning. - Julien Bidot; Susanne Biundo; Tobias Heinroth; Wolfgang Minker; Florian Nothdurft; Bernd Schattenberg (MKWI, 2010)

Von kognitiven technischen Systemen zu Companion-Systemen. - Susanne Biundo; Andreas Wendemuth (Künstliche Intell., 2010)

Workshop: Companion-Systeme und Mensch-Companion-Interaktion. - Susanne Biundo; Dietmar F. Rösner; Harald C. Traue; Andreas Wendemuth (GI-Jahrestagung, 2011)

Approximate Online Inference for Dynamic Markov Logic Networks. - Thomas Geier; Susanne Biundo (ICTAI, 2011)

HTN-Style Planning in Relational POMDPs Using First-Order FSCs. - Felix Müller; Susanne Biundo (KI, 2011)

Hybrid Multi-agent Planning. - Mohamed Elkawkagy; Susanne Biundo (MATES, 2011)

Advanced user assistance based on AI planning. - Susanne Biundo; Pascal Bercher; Thomas Geier; Felix Müller; Bernd Schattenberg (Cogn. Syst. Res., 2011)

Planning in the Real World. - Susanne Biundo; Julien Bidot; Bernd Schattenberg (Inform. Spektrum, 2011)

Improving Hierarchical Planning Performance by the Use of Landmarks. - Mohamed Elkawkagy; Pascal Bercher; Bernd Schattenberg; Susanne Biundo (AAAI, 2012)

Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. - Bastian Seegebarth; Felix Müller; Bernd Schattenberg; Susanne Biundo (ICAPS, 2012)

Exploiting Expert Knowledge in Factored POMDPs. - Felix Müller; Christian Späth; Thomas Geier; Susanne Biundo (ECAI, 2012)

A Heuristic for Hybrid Planning with Preferences. - Pascal Bercher; Susanne Biundo (FLAIRS, 2012)

Track-Person Association Using a First-Order Probabilistic Model. - Thomas Geier; Susanne Biundo; Stephan Reuter; Klaus Dietmayer (ICTAI, 2012)

Goal-Based Person Tracking Using a First-Order Probabilistic Model. - Thomas Geier; Stephan Reuter; Klaus Dietmayer; Susanne Biundo (BMA, 2012)

Interpreting Observed Action (Dagstuhl Seminar 12491). - Susanne Biundo-Stephan; Hans Werner Guesgen; Joachim Hertzberg; Stephen Marsland (Dagstuhl Reports, 2012)

On Delete Relaxation in Partial-Order Causal-Link Planning. - Pascal Bercher; Thomas Geier; Felix Richter 001; Susanne Biundo (ICTAI, 2013)

Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic. - Michael Glodek; Thomas Geier; Susanne Biundo; Friedhelm Schwenker; Günther Palm (ICTAI, 2013)

Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. - Pascal Bercher; Thomas Geier; Susanne Biundo (KI, 2013)

Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater. - Pascal Bercher; Susanne Biundo; Thomas Geier; Thilo Hoernle; Florian Nothdurft; Felix Richter 001; Bernd Schattenberg (ICAPS, 2014)

Conditioned Belief Propagation Revisited. - Thomas Geier; Felix Richter 001; Susanne Biundo (ECAI, 2014)

Language Classification of Hierarchical Planning Problems. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo (ECAI, 2014)

Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems. - Frank Honold; Pascal Bercher; Felix Richter 001; Florian Nothdurft; Thomas Geier; Roland Barth; Thilo Hoernle; Felix Schüssel; Stephan Reuter; Matthias Rau; Gregor Bertrand; Bastian Seegebarth; et al. (Intelligent Environments, 2014)

Hybrid Planning Heuristics Based on Task Decomposition Graphs. - Pascal Bercher; Shawn Keen; Susanne Biundo (SOCS, 2014)

A Planning-Based Assistance System for Setting Up a Home Theater. - Pascal Bercher; Felix Richter 001; Thilo Hörnle; Thomas Geier; Daniel Höller; Gregor Behnke; Florian Nothdurft; Frank Honold; Wolfgang Minker; Michael Weber 001; Susanne Biundo (AAAI, 2015)

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. - Gregor Behnke; Daniel Höller; Susanne Biundo (ICAPS, 2015)

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. - Gregor Behnke; Marvin R. G. Schiller; Denis K. Ponomaryov; Florian Nothdurft; Pascal Bercher; Wolfgang Minker; Birte Glimm; Susanne Biundo (ISCT, 2015)

User-Centered Planning - A Discussion on Planning in the Presence of Human Users. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo (ISCT, 2015)

Believing in POMDPs. - Felix Richter 001; Thomas Geier; Susanne Biundo (ISCT, 2015)

Integrating Ontologies and Planning for Cognitive Systems. - Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis K. Ponomaryov; Marvin R. G. Schiller (Description Logics, 2015)

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. - Gregor Behnke; Denis K. Ponomaryov; Marvin R. G. Schiller; Pascal Bercher; Florian Nothdurft; Birte Glimm; Susanne Biundo (IJCAI, 2015)

The Interplay of User-Centered Dialog Systems and AI Planning. - Florian Nothdurft; Gregor Behnke; Pascal Bercher; Susanne Biundo; Wolfgang Minker (SIGDIAL Conference, 2015)

Locally Conditioned Belief Propagation. - Thomas Geier; Felix Richter 001; Susanne Biundo (UAI, 2015)

Fusion paradigms in cognitive technical systems for human-computer interaction. - Michael Glodek; Frank Honold; Thomas Geier; Gerald Krell; Florian Nothdurft; Stephan Reuter; Felix Schüssel; Thilo Hörnle; Klaus Dietmayer; Wolfgang Minker; Susanne Biundo; Michael Weber 001; et al. (Neurocomputing, 2015)

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. - Ron Alford; Gregor Behnke; Daniel Höller; Pascal Bercher; Susanne Biundo; David W. Aha (ICAPS, 2016)

Change the Plan - How Hard Can That Be? - Gregor Behnke; Daniel Höller; Pascal Bercher; Susanne Biundo (ICAPS, 2016)

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo (ICAPS, 2016)

More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo (ECAI, 2016)

On Stacking Probabilistic Temporal Models with Bidirectional Information Flow. - Michael Glodek; Georg Layher; Heiko Neumann; Susanne Biundo; Günther Palm (Probabilistic Graphical Models, 2016)

Special Issue on Companion Technologies. - Susanne Biundo; Daniel Höller; Pascal Bercher (Künstliche Intell., 2016)

Companion-Technology: An Overview. - Susanne Biundo; Daniel Höller; Bernd Schattenberg; Pascal Bercher (Künstliche Intell., 2016)

Companion-Technology for Cognitive Technical Systems. - Susanne Biundo; Andreas Wendemuth (Künstliche Intell., 2016)

This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. - Gregor Behnke; Daniel Höller; Susanne Biundo (ICAPS, 2017)

Help me make a dinner! Challenges when assisting humans in action planning. - Gregor Behnke; Benedikt Leichtmann; Pascal Bercher; Daniel Höller; Verena Nitsch; Martin Baumann 001; Susanne Biundo (ICCT, 2017)

Sloth - The interactive workout planner. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Pascal Bercher; Matthias Kraus 001; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICCT, 2017)

A paradigm for coupling procedural and conceptual knowledge in companion systems. - Marvin R. G. Schiller; Gregor Behnke; Mario Schmautz; Pascal Bercher; Matthias Kraus 001; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICCT, 2017)

An Admissible HTN Planning Heuristic. - Pascal Bercher; Gregor Behnke; Daniel Höller; Susanne Biundo (IJCAI, 2017)

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Denis K. Ponomaryov; Pascal Bercher; Birte Glimm; Wolfgang Minker; Susanne Biundo (Companion Technology, 2017)

User-Centered Planning. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo (Companion Technology, 2017)

Advanced User Assistance for Setting Up a Home Theater. - Pascal Bercher; Felix Richter 001; Thilo Hörnle; Thomas Geier; Daniel Höller; Gregor Behnke; Florian Nielsen; Frank Honold; Felix Schüssel; Stephan Reuter; Wolfgang Minker; Michael Weber 001; et al. (Companion Technology, 2017)

An Introduction to Companion-Technology. - Susanne Biundo; Andreas Wendemuth (Companion Technology, 2017)

Multi-level Knowledge Processing in Cognitive Technical Systems. - Thomas Geier; Susanne Biundo (Companion Technology, 2017)

Companion-Systems: A Reference Architecture. - Thilo Hörnle; Michael Tornow; Frank Honold; Reinhard Schwegler; Ralph Heinemann; Susanne Biundo; Andreas Wendemuth (Companion Technology, 2017)

Addressing Uncertainty in Hierarchical User-Centered Planning. - Felix Richter 001; Susanne Biundo (Companion Technology, 2017)

totSAT - Totally-Ordered Hierarchical Planning Through SAT. - Gregor Behnke; Daniel Höller; Susanne Biundo (AAAI, 2018)

Plan and Goal Recognition as HTN Planning. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (AAAI Workshops, 2018)

A Generic Method to Guide HTN Progression Search with Classical Heuristics. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (ICAPS, 2018)

Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. - Gregor Behnke; Daniel Höller; Susanne Biundo (ICTAI, 2018)

Instructing Novice Users on How to Use Tools in DIY Projects. - Gregor Behnke; Marvin R. G. Schiller; Matthias Kraus 001; Pascal Bercher; Mario Schmautz; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (IJCAI, 2018)

A Multimodal Dialogue Framework for Cloud-Based Companion Systems. - Matthias Kraus 001; Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Wolfgang Minker (IWSDS, 2018)

Evaluating Knowledge-Based Assistance for DIY. - Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Matthias Kraus 001; Michael Dorna; Felix Richter 001; Susanne Biundo; Birte Glimm; Wolfgang Minker (MuC (Workshopband), 2018)

X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. - Gregor Behnke; Susanne Biundo (Inteligencia Artif., 2018)

Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. - Gregor Behnke; Daniel Höller; Susanne Biundo (AAAI, 2019)

Finding Optimal Solutions in HTN Planning - A SAT-based Approach. - Gregor Behnke; Daniel Höller; Susanne Biundo (IJCAI, 2019)

On Guiding Search in HTN Planning with Classical Planning Heuristics. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (IJCAI, 2019)

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. - Gregor Behnke; Marvin R. G. Schiller; Matthias Kraus 001; Pascal Bercher; Mario Schmautz; Michael Dorna; Michael Dambier; Wolfgang Minker; Birte Glimm; Susanne Biundo (AI Commun., 2019)

Hierarchical Planning in the IPC. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; Ronald Alford (CoRR, 2019)

HDDL - A Language to Describe Hierarchical Planning Problems. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; Ronald Alford (CoRR, 2019)

On Succinct Groundings of HTN Planning Problems. - Gregor Behnke; Daniel Höller; Alexander Schmid 003; Pascal Bercher; Susanne Biundo (AAAI, 2020)

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; Ron Alford (AAAI, 2020)

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. - Gregor Behnke; Pascal Bercher; Matthias Kraus 001; Marvin R. G. Schiller; Kristof Mickeleit; Timo Häge; Michael Dorna; Michael Dambier; Dietrich Manstetten; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICAPS, 2020)

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. - Matthias Kraus 001; Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Michael Dorna; Michael Dambier; Birte Glimm; Susanne Biundo; Wolfgang Minker (ICMI, 2020)

HTN Plan Repair via Model Transformation. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (KI, 2020)

HTN Planning as Heuristic Progression Search. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (J. Artif. Intell. Res., 2020)

Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. - Conny Olz; Susanne Biundo; Pascal Bercher (AAAI, 2021)

Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo; Vikas Shivashankar; Ron Alford (AI Mag., 2021)

Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. - Pascal Bercher; Gregor Behnke; Matthias Kraus 001; Marvin R. G. Schiller; Dietrich Manstetten; Michael Dambier; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (Künstliche Intell., 2021)

The PANDA Framework for Hierarchical Planning. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo (Künstliche Intell., 2021)

An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems. - Conny Olz; Alexander Lodemann; Benedikt Jutz; Mario Schmautz; Maximilian Borowiec; Susanne Biundo; Pascal Bercher (J. Artif. Intell. Res., 2025)