Stefan Brüning

22 papers A 4B 3C 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2007 — conf
A Fault Taxonomy for Service-Oriented Architecture.
HASE
Stefan Brüning, Stephan Weißleder, Miroslaw Malek
2007 — conf
Cooperative Positioning with MagicMap.
WPNC
Stefan Brüning, Johannes Zapotoczky, Peter Ibach, Vladimir Stantchev
2001 — conf
Exploiting Conditional Equivalences in Connection Calculi.
KI/ÖGAI
Stefan Brüning
2000 — conf
A Connection Calculus for Handling Incomplete Information.
Intellectics and Computational Logic
Stefan Brüning, Torsten Schaub
1999 — conf
Avoiding Non-ground Variables.
ESCQARU
Stefan Brüning, Torsten Schaub
1998 J jnl
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques.
Artif. Intell.
Torsten Schaub, Stefan Brüning
1997 J jnl
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.
J. Autom. Reason.
Peter Baumgartner, Stefan Brüning
1997 J jnl
Globally Linear Connection Method.
New Gener. Comput.
Stefan Brüning
1996 C conf
A Model-Based Approach to Consistency-Checking.
ISMIS
Stefan Brüning, Torsten Schaub
1996 A conf
Prolog Technology for Default Reasoning (An Abridged Report).
ECAI
Torsten Schaub, Stefan Brüning
1996 A conf
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.
CADE
Torsten Schaub, Stefan Brüning, Pascal Nicolas
1995 J jnl
Exploiting Equivalences in Connection Calculi.
Log. J. IGPL
Stefan Brüning
1995 B conf
Issues in Theorem Proving Based on the Connection Method.
TABLEAUX
Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
1994 A conf
Detecting Non-Provable Goals.
CADE
Stefan Brüning
1994 A conf
KoMeT.
CADE
Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath
1994 — —
Techniques for avoiding redundancy in theorem proving based on the connection method.
Stefan Brüning
1994 B conf
Towards Efficient Calculi for Resource-Oriented Deductive Planning.
LPAR
Stefan Brüning
1994 C conf
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.
IPMU
Stefan Brüning, Torsten Schaub
1993 — conf
Disjunction In Resource-Oriented Deductive Planning.
ILPS
Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger
1993 — conf
Disjunction in Plan Generation by Equational Logic Programming.
PuK
Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
1993 — conf
On Loop Detection in Connection Calculi.
Kurt Gödel Colloquium
Stefan Brüning
1993 B conf
Search Space Pruning by Checking Dynamic Term Growth.
LPAR
Stefan Brüning