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 |