| 1. |
Stephan, Werner ; Biundo, Susanne
(1995)
Deduction-based refinement planning
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 2. |
Stephan, Werner ; Biundo, Susanne
(1992)
A new logical framework for deductive planning
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 3. |
Biundo, Susanne ; Dengler, Dietmar ; Koehler, Jana
(1992)
Deductive planning and plan reuse in a command language environment
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 4. |
Bauer, Mathias ; Biundo, Susanne ; Dengler, Dietmar ; Koehler, Jana ; Paul, Gabriele
(1992)
PHI : a logic-based tool for intelligent help systems
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 5. |
Bauer, Mathias ; Biundo, Susanne ; Dengler, Dietmar ; Hecking, Matthias ; Koehler, Jana ; Merziger, Gaby
(1991)
Integrated plan generation and recognition : a logic-based approach
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
| 6. |
Biundo, Susanne
(1990)
Plan generation using a method of deductive program synthesis
Kaiserslautern ; Saarbrücken : DFKI, 1990
Report (Bericht)
|
