Susanne Biundo-Stephan

Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo: Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI 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

Felix Müller, Christian Späth, Thomas Geier, Susanne Biundo: Exploiting Expert Knowledge in Factored POMDPs. ECAI 2012: 606-611

Pascal Bercher, Susanne Biundo: A Heuristic for Hybrid Planning with Preferences. FLAIRS Conference 2012

Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer: Track-Person Association Using a First-Order Probabilistic Model. ICTAI 2012: 844-851

Susanne Biundo-Stephan, Hans Werner Guesgen, Joachim Hertzberg, Stephen Marsland: Interpreting Observed Action (Dagstuhl Seminar 12491). Dagstuhl Reports 2(12): 1-16 (2012)

Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg: Advanced user assistance based on AI planning. Cognitive Systems Research 12(3-4): 219-236 (2011)

Susanne Biundo, Julien Bidot, Bernd Schattenberg: Planning in the Real World. Informatik Spektrum 34(5): 443-454 (2011)

Andreas Wendemuth, Susanne Biundo: A Companion Technology for Cognitive Technical Systems. COST 2102 Training School 2011: 89-103

Thomas Geier, Susanne Biundo: Approximate Online Inference for Dynamic Markov Logic Networks. ICTAI 2011: 764-768

Felix Müller, Susanne Biundo: HTN-Style Planning in Relational POMDPs Using First-Order FSCs. KI 2011: 216-227

Mohamed Elkawkagy, Susanne Biundo: Hybrid Multi-agent Planning. MATES 2011: 16-28

Susanne Biundo, Andreas Wendemuth: Von kognitiven technischen Systemen zu Companion-Systemen. KI 24(4): 335-339 (2010)

Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo: Landmarks in Hierarchical Planning. ECAI 2010: 229-234

Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo: A Framework for Interactive Hybrid Planning. KI 2009: 17-24

Julien Bidot, Bernd Schattenberg, Susanne Biundo: Plan Repair in Hybrid Planning. KI 2008: 169-176

Bernd Schattenberg, Steffen Balzer, Susanne Biundo: Realizing Hybrid Planning Systems as Modern Software Environments. KI 21(1): 16-22 (2007)

Bernd Schattenberg, Julien Bidot, Susanne Biundo: On the Construction and Evaluation of Flexible Plan-Refinement Strategies. KI 2007: 367-381

Susanne Biundo, Volker Claus, Heinrich C. Mayr: Was ist Informatik? - unser Positionspapier. Gesellschaft für Informatik e.V. 2006, pp. 1-39

Bernd Schattenberg, Steffen Balzer, Susanne Biundo: Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS 2006: 422-425

Bernd Schattenberg, Susanne Biundo: A Unifying Framework for Hybrid Planning and Scheduling. KI 2006: 361-373

Bernd Schattenberg, Andreas Weigl, Susanne Biundo: Hybrid Planning Using Flexible Strategies. KI 2005: 249-263

Susanne Biundo, Karen L. Myers, Kanna Rajan (Eds.): Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA. AAAI 2005, isbn 1-57735-220-3

Susanne Biundo, Thom W. Frühwirth, Günther Palm (Eds.): KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3238, Springer 2004, isbn 3-540-23166-8

Bernd Schattenberg, Susanne Biundo: On the Identification and Use of Hierarchical Resources in Planning and Scheduling. AIPS 2002: 263-273

Susanne Biundo, Maria Fox (Eds.): Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings. Lecture Notes in Computer Science 1809, Springer 2000, isbn 3-540-67866-2

Susanne Biundo, Werner Stephan: System Assistance in Structured Domain Model Development. IJCAI 1997: 1240-1245

Werner Stephan, Susanne Biundo: Deduction-Based Refinement Planning. AIPS 1996: 213-220

Susanne Biundo, Werner Stephan: Modeling Planning Domains Systematically. ECAI 1996: 599-603

Werner Stephan, Susanne Biundo: Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA 1995: 483-487

Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul: The System PH. PuK 1994: 155

Werner Stephan, Susanne Biundo: A New Logical framework for Deductive Planning. IJCAI 1993: 32-38

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

Werner Stephan, Susanne Biundo: A New Logical Framework for deductive Planning. PuK 1993: 27-38

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

Susanne Biundo: Automatische Synthese rekursiver Programme als Beweisverfahren. Informatik-Fachberichte 302, Springer 1992, isbn 3-540-55300-2

Susanne Biundo, Dietmar Dengler, Jana Koehler: Deductive Planning and Plan Reuse in a Command Language Environment. ECAI 1992: 628-632

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

Susanne Biundo: Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI 1988: 553-558

Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther: The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674

Susanne Biundo: A Synthesis System Mechanizing Proofs by Induction. ECAI 1986: 287-296