Stefan Brüning

Stefan Brüning, Stephan Weißleder, Miroslaw Malek: A Fault Taxonomy for Service-Oriented Architecture. HASE 2007: 367-368

Stefan Brüning, Johannes Zapotoczky, Peter Ibach, Vladimir Stantchev: Cooperative Positioning with MagicMap. WPNC 2007: 17-22

Stefan Brüning: Exploiting Conditional Equivalences in Connection Calculi. KI/ÖGAI 2001: 122-137

Stefan Brüning, Torsten Schaub: A Connection Calculus for Handling Incomplete Information. Intellectics and Computational Logic 2000: 47-66

Stefan Brüning, Torsten Schaub: Avoiding Non-ground Variables. ESCQARU 1999: 92-103

Torsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artif. Intell. 106(1): 1-75 (1998)

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)

Stefan Brüning: Globally Linear Connection Method. New Generation Comput. 15(4): 369-402 (1997)

Torsten Schaub, Stefan Brüning, Pascal Nicolas: XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996: 293-297

Torsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996: 105-109

Stefan Brüning, Torsten Schaub: A Model-Based Approach to Consistency-Checking. ISMIS 1996: 315-324

Stefan Brüning: Exploiting Equivalences in Connection Calculi. Logic Journal of the IGPL 3(6): 857-886 (1995)

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

Stefan Brüning: Techniques for avoiding redundancy in theorem proving based on the connection method. TH Darmstadt 1994, pp. I-XII, 1-202

Stefan Brüning: Detecting Non-Provable Goals. CADE 1994: 222-236

Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath: KoMeT. CADE 1994: 783-787

Stefan Brüning, Torsten Schaub: Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. IPMU 1994: 389-398

Stefan Brüning: Towards Efficient Calculi for Resource-Oriented Deductive Planning. LPAR 1994: 174-188

Stefan Brüning: On Loop Detection in Connection Calculi. Kurt Gödel Colloquium 1993: 144-151

Stefan Brüning: Search Space Pruning by Checking Dynamic Term Growth. LPAR 1993: 52-63

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

Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger: Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670