dblp.uni-trier.dewww.uni-trier.de

Susanne Biundo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
26EEBernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo: A Framework for Interactive Hybrid Planning. KI 2009: 17-24
2008
25EEJulien Bidot, Bernd Schattenberg, Susanne Biundo: Plan Repair in Hybrid Planning. KI 2008: 169-176
2007
24EEBernd Schattenberg, Julien Bidot, Susanne Biundo: On the Construction and Evaluation of Flexible Plan-Refinement Strategies. KI 2007: 367-381
23EEBernd Schattenberg, Steffen Balzer, Susanne Biundo: Realizing Hybrid Planning Systems as Modern Software Environments. KI 21(1): 16-22 (2007)
2006
22 Bernd Schattenberg, Steffen Balzer, Susanne Biundo: Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS 2006: 422-425
21EEBernd 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
19EEBernd 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
2EESusanne 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

Coauthor Index

1Steffen Balzer [22] [23]
2Mathias Bauer [4] [7] [9] [11]
3Julien Bidot [24] [25] [26]
4Dietmar Dengler [4] [5] [7] [9] [11]
5Maria Fox [16]
6Thom W. Frühwirth [18]
7Sascha Geßler [26]
8Matthias Hecking [4]
9B. Hummel [2]
10Dieter Hutter [2]
11Jana Koehler (Jana Köhler) [4] [5] [7] [9] [11]
12Gaby Merziger [4]
13Karen L. Myers [20]
14Günther Palm [18]
15Gabriele Paul [7] [9] [11]
16Kanna Rajan [20]
17Bernd Schattenberg [17] [19] [21] [22] [23] [24] [25] [26]
18Werner Stephan [8] [10] [12] [13] [14] [15]
19Christoph Walther [2]
20Andreas Weigl [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)