| 2007 |
|---|
| 20 | EE | Stefan Brüning,
Stephan Weißleder,
Miroslaw Malek:
A Fault Taxonomy for Service-Oriented Architecture.
HASE 2007: 367-368 |
| 2001 |
|---|
| 19 | EE | 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 | EE | Stefan Brüning,
Torsten Schaub:
Avoiding Non-ground Variables.
ESCQARU 1999: 92-103 |
| 1998 |
|---|
| 16 | EE | 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 | EE | 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 |
