Susanne Biundo-Stephan

发表

PHI - A Logic-Based Tool for Intelligent Help Systems

Jana Koehler, Mathias Bauer, Susanne Biundo-Stephan, 1993, IJCAI.

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning

Wolfgang Minker, Birte Glimm, Florian Nothdurft, 2015, ISCT.

Humbert Fiorino, Damien Pellier, Ron Alford, 2019, ArXiv.

Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems

Susanne Biundo-Stephan, Gregor Behnke, Daniel Höller, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

The System PH

Jana Koehler, Mathias Bauer, Susanne Biundo-Stephan, 1994, Planen und Konfigurieren.

Planning in the Real World

Susanne Biundo-Stephan, Julien Bidot, Bernd Schattenberg, 2011, Informatik-Spektrum.

Realizing Hybrid Planning Systems as Modern Software Environments

Susanne Biundo-Stephan, Bernd Schattenberg, Steffen Balzer, 2007, Künstliche Intell..

Hybrid Planning Heuristics Based on Task Decomposition Graphs

Susanne Biundo-Stephan, Pascal Bercher, Shawn Keen, 2014, SOCS.

Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater

Florian Nothdurft, Susanne Biundo-Stephan, Pascal Bercher, 2014, ICAPS.

Hybrid Planning Using Flexible Strategies

Andreas Weigl, Susanne Biundo-Stephan, Bernd Schattenberg, 2005, KI.

HTN-Style Planning in Relational POMDPs Using First-Order FSCs

Susanne Biundo-Stephan, Felix Müller, Susanne Biundo-Stephan, 2011, KI.

Companion-Technology for Cognitive Technical Systems

Andreas Wendemuth, Susanne Biundo-Stephan, A. Wendemuth, 2016, KI - Künstliche Intelligenz.

On Stacking Probabilistic Temporal Models with Bidirectional Information Flow

Günther Palm, Michael Glodek, Susanne Biundo-Stephan, 2016, Probabilistic Graphical Models.

HTN Plan Repair via Model Transformation

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2020, KI.

Multilevel Refinement Planning in an Interval-Based Temporal Logic

Susanne Biundo-Stephan, Werner Stephan, 1995, EPIA.

X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism

Susanne Biundo-Stephan, Gregor Behnke, G. Behnke, 2018, Inteligencia Artif..

Approximate Online Inference for Dynamic Markov Logic Networks

Susanne Biundo-Stephan, Thomas Geier, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

Special Issue on Companion Technologies

Susanne Biundo-Stephan, Pascal Bercher, Daniel Höller, 2015, KI - Künstliche Intelligenz.

A Heuristic for Hybrid Planning with Preferences

Susanne Biundo-Stephan, Pascal Bercher, 2012, FLAIRS Conference.

A Unifying Framework for Hybrid Planning and Scheduling

Susanne Biundo-Stephan, Bernd Schattenberg, B. Schattenberg, 2006, KI.

A Generic Method to Guide HTN Progression Search with Classical Heuristics

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2018, ICAPS.

User-Centered Planning - A Discussion on Planning in the Presence of Human Users

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2015, ISCT.

An Admissible HTN Planning Heuristic

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2017, IJCAI.

Help me make a dinner! Challenges when assisting humans in action planning

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2017, 2017 International Conference on Companion Technology (ICCT).

Automatische Synthese rekursiver Programme als Beweisverfahren

Susanne Biundo-Stephan, 1992, Informatik-Fachberichte.

Integrating Ontologies and Planning for Cognitive Systems

Birte Glimm, Susanne Biundo-Stephan, Gregor Behnke, 2015, Description Logics.

Companion-Technology: An Overview

Susanne Biundo-Stephan, Pascal Bercher, Daniel Höller, 2016, KI - Künstliche Intelligenz.

Language Classification of Hierarchical Planning Problems

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2014, ECAI.

A New Logical framework for Deductive Planning

Susanne Biundo-Stephan, Werner Stephan, 1993, IJCAI.

Locally Conditioned Belief Propagation

Susanne Biundo-Stephan, Thomas Geier, Felix Richter, 2015, UAI.

Conditioned Belief Propagation Revisited

Susanne Biundo-Stephan, Thomas Geier, Felix Richter, 2014, ECAI.

A Planning-Based Assistance System for Setting Up a Home Theater

Wolfgang Minker, Frank Honold, Florian Nothdurft, 2015, AAAI.

Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning

Susanne Biundo-Stephan, Pascal Bercher, Thomas Geier, 2013, KI.

Addressing Uncertainty in Hierarchical User-Centered Planning

Susanne Biundo-Stephan, Felix Richter, Susanne Biundo-Stephan, 2017, Companion Technology.

Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic

Friedhelm Schwenker, Michael Glodek, Susanne Biundo-Stephan, 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.

Von kognitiven technischen Systemen zu Companion-Systemen

Andreas Wendemuth, Susanne Biundo-Stephan, 2010, KI - Künstliche Intelligenz.

HTN Planning as Heuristic Progression Search

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2020, J. Artif. Intell. Res..

Improving Hierarchical Planning Performance by the Use of Landmarks

Susanne Biundo-Stephan, Pascal Bercher, Bernd Schattenberg, 2012, AAAI.

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2016, ICAPS.

Modeling Planning Domains Systematically

Susanne Biundo-Stephan, Werner Stephan, W. Stephan, 1996, ECAI.

Multi-level Knowledge Processing in Cognitive Technical Systems

Susanne Biundo-Stephan, Thomas Geier, Susanne Biundo-Stephan, 2017, Companion Technology.

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All

Birte Glimm, Florian Nothdurft, Susanne Biundo-Stephan, 2015, IJCAI.

A Framework for Interactive Hybrid Planning

Susanne Biundo-Stephan, Julien Bidot, Bernd Schattenberg, 2009, KI.

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems

Humbert Fiorino, Damien Pellier, Ron Alford, 2020, AAAI.

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems

David W. Aha, Ron Alford, Susanne Biundo-Stephan, 2016, ICAPS.

On the Construction and Evaluation of Flexible Plan-Refinement Strategies

Susanne Biundo-Stephan, Julien Bidot, Bernd Schattenberg, 2007, KI.

Interpreting Observed Action (Dagstuhl Seminar 12491)

Hans W. Guesgen, Stephen R. Marsland, Joachim Hertzberg, 2012, Dagstuhl Reports.

Companion-Systems: A Reference Architecture

Andreas Wendemuth, Frank Honold, Susanne Biundo-Stephan, 2017, Companion Technology.

Advanced user assistance based on AI planning

Susanne Biundo-Stephan, Pascal Bercher, Thomas Geier, 2011, Cognitive Systems Research.

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2020, ICMI.

Track-Person Association Using a First-Order Probabilistic Model

Klaus C. J. Dietmayer, Stephan Reuter, Susanne Biundo-Stephan, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

Hybrid Multi-agent Planning

Susanne Biundo-Stephan, Mohamed Elkawkagy, 2011, MATES.

On the Identification and Use of Hierarchical Resources in Planning and Scheduling

Susanne Biundo-Stephan, Bernd Schattenberg, 2002, AIPS.

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2020, ICAPS.

totSAT - Totally-Ordered Hierarchical Planning Through SAT

Susanne Biundo-Stephan, Gregor Behnke, Daniel Höller, 2018, AAAI.

Companion-Technology for Cognitive Technical Systems

Andreas Wendemuth, Susanne Biundo-Stephan, A. Wendemuth, 2011, KI - Künstliche Intelligenz.

Plan and Goal Recognition as HTN Planning

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

Evaluating Knowledge-Based Assistance for DIY

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2018, MuC Workshopband.

On Guiding Search in HTN Planning with Classical Planning Heuristics

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2019, IJCAI.

Finding Optimal Solutions in HTN Planning - A SAT-based Approach

Susanne Biundo-Stephan, Gregor Behnke, Daniel Höller, 2019, IJCAI.

On Delete Relaxation in Partial-Order Causal-Link Planning

Susanne Biundo-Stephan, Pascal Bercher, Thomas Geier, 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.

Integrated Plan Generation and Recognition - A Logic-Based Approach

Jana Koehler, Mathias Bauer, Susanne Biundo-Stephan, 1991, Wissensbasierte Systeme.

Plan Repair in Hybrid Planning

Susanne Biundo-Stephan, Julien Bidot, Bernd Schattenberg, 2008, KI.

Landmarks in Hierarchical Planning

Susanne Biundo-Stephan, Bernd Schattenberg, Mohamed Elkawkagy, 2010, ECAI.

Deductive Planning and Plan Reuse in a Command Language Environment

Jana Koehler, Susanne Biundo-Stephan, Dietmar Dengler, 1992, ECAI.

Verbal Plan Explanations for Hybrid Planning

Wolfgang Minker, Florian Nothdurft, Susanne Biundo-Stephan, 2010, MKWI.

Instructing Novice Users on How to Use Tools in DIY Projects

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2018, IJCAI.

Companion technology : a paradigm shift in human-technology interaction

Andreas Wendemuth, Susanne Biundo-Stephan, A. Wendemuth, 2017 .

Sloth — The interactive workout planner

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2017, 2017 International Conference on Companion Technology (ICCT).

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition

Susanne Biundo-Stephan, Gregor Behnke, Daniel Höller, 2015, ICAPS.

Change the Plan - How Hard Can That Be?

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2016, ICAPS.

Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations

Susanne Biundo-Stephan, Bernd Schattenberg, Felix Müller, 2012, ICAPS.

Advanced User Assistance for Setting Up a Home Theater

Klaus C. J. Dietmayer, Wolfgang Minker, Stephan Reuter, 2017, Companion Technology.

Exploiting Expert Knowledge in Factored POMDPs

Susanne Biundo-Stephan, Thomas Geier, Felix Müller, 2012, ECAI.

User-Centered Planning

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2017, Companion Technology.

Believing in POMDPs

Susanne Biundo-Stephan, Thomas Geier, Felix Richter, 2015, ISCT.

Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems

Gregor Bertrand, Wolfgang Minker, Stephan Reuter, 2014, 2014 International Conference on Intelligent Environments.

Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems

Susanne Biundo-Stephan, Bernd Schattenberg, Steffen Balzer, 2006, ICAPS.

More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2016, ECAI.

Fusion paradigms in cognitive technical systems for human-computer interaction

Friedhelm Schwenker, Klaus C. J. Dietmayer, Wolfgang Minker, 2015, Neurocomputing.

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2017, Companion Technology.

The Karlsruhe Induction Theorem Proving System

Dieter Hutter, Susanne Biundo-Stephan, Christoph Walther, 1986, CADE.

An Introduction to Companion-Technology

Andreas Wendemuth, Susanne Biundo-Stephan, A. Wendemuth, 2017, Companion Technology.

A Multimodal Dialogue Framework for Cloud-Based Companion Systems

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2018, IWSDS.

HDDL - A Language to Describe Hierarchical Planning Problems pdf

Humbert Fiorino, Damien Pellier, Ron Alford, 2019, ArXiv.

System Assistance in Structured Domain Model Development

Susanne Biundo-Stephan, Werner Stephan, W. Stephan, 1997, IJCAI.

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2019, AI Commun..

The Interplay of User-Centered Dialog Systems and AI Planning

Wolfgang Minker, Florian Nothdurft, Susanne Biundo-Stephan, 2015, SIGDIAL Conference.

On Succinct Groundings of HTN Planning Problems

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2020, AAAI.

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), September 23rd-25th, Ulm University, Germany

Andreas Wendemuth, Susanne Biundo-Stephan, Enrico Rukzio, 2015, ISCT.

This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems

Susanne Biundo-Stephan, Gregor Behnke, Daniel Höller, 2017, ICAPS.

Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning

Susanne Biundo-Stephan, Gregor Behnke, Daniel Höller, 2019, AAAI.

Goal-Based Person Tracking Using a First-Order Probabilistic Model

Klaus C. J. Dietmayer, Stephan Reuter, Susanne Biundo-Stephan, 2012, BMA.

Deduction-Based Refinement Planning

Susanne Biundo-Stephan, Werner Stephan, W. Stephan, 1996, AIPS.

Do It Yourself, but Not Alone: Companion-Technology for Home Improvement—Bringing a Planning-Based Interactive DIY Assistant to Life

Wolfgang Minker, Birte Glimm, Susanne Biundo-Stephan, 2021, KI - Künstliche Intelligenz.

The PANDA Framework for Hierarchical Planning

Susanne Biundo-Stephan, Gregor Behnke, Pascal Bercher, 2021, Künstliche Intell..

Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling

Vikas Shivashankar, Ron Alford, Susanne Biundo-Stephan, 2021, AI Mag..

Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis

Susanne Biundo-Stephan, Pascal Bercher, Conny Olz, 2021, AAAI.