| 2008 |
|---|
| 24 | EE | Julien Bidot,
Bernd Schattenberg,
Susanne Biundo:
Plan Repair in Hybrid Planning.
KI 2008: 169-176 |
| 2007 |
|---|
| 23 | EE | Bernd Schattenberg,
Julien Bidot,
Susanne Biundo:
On the Construction and Evaluation of Flexible Plan-Refinement Strategies.
KI 2007: 367-381 |
| 2006 |
|---|
| 22 | | Bernd Schattenberg,
Steffen Balzer,
Susanne Biundo:
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems.
ICAPS 2006: 422-425 |
| 21 | EE | Bernd Schattenberg,
Susanne Biundo:
A Unifying Framework for Hybrid Planning and Scheduling.
KI 2006: 361-373 |
| 2005 |
|---|
| 20 | | Susanne Biundo,
Karen L. Myers,
Kanna Rajan:
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA
AAAI 2005 |
| 19 | EE | Bernd Schattenberg,
Andreas Weigl,
Susanne Biundo:
Hybrid Planning Using Flexible Strategies.
KI 2005: 249-263 |
| 2004 |
|---|
| 18 | | Susanne Biundo,
Thom W. Frühwirth,
Günther Palm:
KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
Springer 2004 |
| 2002 |
|---|
| 17 | | Bernd Schattenberg,
Susanne Biundo:
On the Identification and Use of Hierarchical Resources in Planning and Scheduling.
AIPS 2002: 263-273 |
| 2000 |
|---|
| 16 | | Susanne Biundo,
Maria Fox:
Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings
Springer 2000 |
| 1997 |
|---|
| 15 | | Susanne Biundo,
Werner Stephan:
System Assistance in Structured Domain Model Development.
IJCAI 1997: 1240-1245 |
| 1996 |
|---|
| 14 | | Werner Stephan,
Susanne Biundo:
Deduction-Based Refinement Planning.
AIPS 1996: 213-220 |
| 13 | | Susanne Biundo,
Werner Stephan:
Modeling Planning Domains Systematically.
ECAI 1996: 599-603 |
| 1995 |
|---|
| 12 | | Werner Stephan,
Susanne Biundo:
Multilevel Refinement Planning in an Interval-Based Temporal Logic.
EPIA 1995: 483-487 |
| 1994 |
|---|
| 11 | | Mathias Bauer,
Susanne Biundo,
Dietmar Dengler,
Jana Koehler,
Gabriele Paul:
The System PH.
PuK 1994: 155 |
| 1993 |
|---|
| 10 | | Werner Stephan,
Susanne Biundo:
A New Logical framework for Deductive Planning.
IJCAI 1993: 32-38 |
| 9 | | Mathias Bauer,
Susanne Biundo,
Dietmar Dengler,
Jana Koehler,
Gabriele Paul:
PHI - A Logic-Based Tool for Intelligent Help Systems.
IJCAI 1993: 460-466 |
| 8 | | Werner Stephan,
Susanne Biundo:
A New Logical Framework for deductive Planning.
PuK 1993: 27-38 |
| 7 | | Mathias Bauer,
Susanne Biundo,
Dietmar Dengler,
Jana Koehler,
Gabriele Paul:
PHI - A Logica-Based Tool for Intelligent Help Systems.
PuK 1993: 39-50 |
| 1992 |
|---|
| 6 | | Susanne Biundo:
Automatische Synthese rekursiver Programme als Beweisverfahren
Springer 1992 |
| 5 | | Susanne Biundo,
Dietmar Dengler,
Jana Koehler:
Deductive Planning and Plan Reuse in a Command Language Environment.
ECAI 1992: 628-632 |
| 1991 |
|---|
| 4 | | 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 |
| 1988 |
|---|
| 3 | | Susanne Biundo:
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool.
ECAI 1988: 553-558 |
| 1986 |
|---|
| 2 | | Susanne Biundo,
B. Hummel,
Dieter Hutter,
Christoph Walther:
The Karlsruhe Induction Theorem Proving System.
CADE 1986: 672-674 |
| 1 | | Susanne Biundo:
A Synthesis System Mechanizing Proofs by Induction.
ECAI 1986: 287-296 |
