Stefan Brüning

	2007
20		Stefan Brüning, Stephan Weißleder, Miroslaw Malek: A Fault Taxonomy for Service-Oriented Architecture. HASE 2007: 367-368
	2001
19		Stefan Brüning: Exploiting Conditional Equivalences in Connection Calculi. KI/ÖGAI 2001: 122-137
	2000
18		Stefan Brüning, Torsten Schaub: A Connection Calculus for Handling Incomplete Information. Intellectics and Computational Logic 2000: 47-66
	1999
17		Stefan Brüning, Torsten Schaub: Avoiding Non-ground Variables. ESCQARU 1999: 92-103
	1998
16		Torsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artif. Intell. 106(1): 1-75 (1998)
	1997
15		Peter Baumgartner, Stefan Brüning: A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. J. Autom. Reasoning 19(2): 205-262 (1997)
14		Stefan Brüning: Globally Linear Connection Method. New Generation Comput. 15(4): 369-402 (1997)
	1996
13		Torsten Schaub, Stefan Brüning, Pascal Nicolas: XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996: 293-297
12		Torsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996: 105-109
11		Stefan Brüning, Torsten Schaub: A Model-Based Approach to Consistency-Checking. ISMIS 1996: 315-324
	1995
10		Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath: Issues in Theorem Proving Based on the Connection Method. TABLEAUX 1995: 1-16
9		Stefan Brüning: Exploiting Equivalences in Connection Calculi. Logic Journal of the IGPL 3(6): 857-886 (1995)
	1994
8		Stefan Brüning: Detecting Non-Provable Goals. CADE 1994: 222-236
7		Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath: KoMeT. CADE 1994: 783-787
6		Stefan Brüning, Torsten Schaub: Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. IPMU 1994: 389-398
5		Stefan Brüning: Towards Efficient Calculi for Resource-Oriented Deductive Planning. LPAR 1994: 174-188
	1993
4		Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger: Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670
3		Stefan Brüning: On Loop Detection in Connection Calculi. Kurt Gödel Colloquium 1993: 144-151
2		Stefan Brüning: Search Space Pruning by Checking Dynamic Term Growth. LPAR 1993: 52-63
1		Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Disjunction in Plan Generation by Equational Logic Programming. PuK 1993: 18-26

Coauthor Index

1	Peter Baumgartner	[15]
2	Wolfgang Bibel	[7] [10]
3	Uwe Egly	[7] [10]
4	Gerd Große	[1]
5	Steffen Hölldobler	[1] [4]
6	Daniel S. Korn	[10]
7	Miroslaw Malek	[20]
8	Pascal Nicolas	[13]
9	Thomas Rath	[7] [10]
10	Torsten Schaub	[6] [11] [12] [13] [16] [17] [18]
11	Josef Schneeberger	[1] [4]
12	Ute Cornelia Sigmund	[1] [4]
13	Michael Thielscher	[1] [4]
14	Stephan Weißleder	[20]

Colors in the list of coauthors