Stefan Brüning

Publication Activity (10 Years)

Years Active: 1993-2007
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

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

Stefan Brüning.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Stefan Brüning