Susanne Biundo-Stephan

Susanne Biundo

	2011
34		Thomas Geier, Susanne Biundo: Approximate Online Inference for Dynamic Markov Logic Networks. ICTAI 2011: 764-768
33		Felix Müller, Susanne Biundo: HTN-Style Planning in Relational POMDPs Using First-Order FSCs. KI 2011: 216-227
32		Mohamed Elkawkagy, Susanne Biundo: Hybrid Multi-agent Planning. MATES 2011: 16-28
31		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)
30		Susanne Biundo, Julien Bidot, Bernd Schattenberg: Planning in the Real World. Informatik Spektrum 34(5): 443-454 (2011)
	2010
29		Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo: Landmarks in Hierarchical Planning. ECAI 2010: 229-234
28		Susanne Biundo, Andreas Wendemuth: Von kognitiven technischen Systemen zu Companion-Systemen. KI 24(4): 335-339 (2010)
	2009
27		Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo: A Framework for Interactive Hybrid Planning. KI 2009: 17-24
	2008
26		Julien Bidot, Bernd Schattenberg, Susanne Biundo: Plan Repair in Hybrid Planning. KI 2008: 169-176
	2007
25		Bernd Schattenberg, Julien Bidot, Susanne Biundo: On the Construction and Evaluation of Flexible Plan-Refinement Strategies. KI 2007: 367-381
24		Bernd Schattenberg, Steffen Balzer, Susanne Biundo: Realizing Hybrid Planning Systems as Modern Software Environments. KI 21(1): 16-22 (2007)
	2006
23		Susanne Biundo, Volker Claus, Heinrich C. Mayr: Was ist Informatik? - unser Positionspapier. Gesellschaft für Informatik e.V. 2006: 1-39
22		Bernd Schattenberg, Steffen Balzer, Susanne Biundo: Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS 2006: 422-425
21		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		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

Coauthor Index

1	Steffen Balzer	[22] [24]
2	Mathias Bauer	[4] [7] [9] [11]
3	Pascal Bercher	[31]
4	Julien Bidot	[25] [26] [27] [30]
5	Volker Claus	[23]
6	Dietmar Dengler	[4] [5] [7] [9] [11]
7	Mohamed Elkawkagy	[29] [32]
8	Maria Fox	[16]
9	Thom W. Frühwirth	[18]
10	Thomas Geier	[31] [34]
11	Sascha Geßler	[27]
12	Matthias Hecking	[4]
13	B. Hummel	[2]
14	Dieter Hutter	[2]
15	Jana Koehler (Jana Köhler)	[4] [5] [7] [9] [11]
16	Heinrich C. Mayr	[23]
17	Gaby Merziger	[4]
18	Felix Müller	[31] [33]
19	Karen L. Myers	[20]
20	Günther Palm	[18]
21	Gabriele Paul	[7] [9] [11]
22	Kanna Rajan	[20]
23	Bernd Schattenberg	[17] [19] [21] [22] [24] [25] [26] [27] [29] [30] [31]
24	Werner Stephan	[8] [10] [12] [13] [14] [15]
25	Christoph Walther	[2]
26	Andreas Weigl	[19]
27	Andreas Wendemuth	[28]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page