dblp.uni-trier.dewww.uni-trier.de

Stefan Brüning Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
20EEStefan Brüning, Stephan Weißleder, Miroslaw Malek: A Fault Taxonomy for Service-Oriented Architecture. HASE 2007: 367-368
2001
19EEStefan 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
17EEStefan Brüning, Torsten Schaub: Avoiding Non-ground Variables. ESCQARU 1999: 92-103
1998
16EETorsten 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
13EETorsten 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
11EEStefan 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
9EEStefan Brüning: Exploiting Equivalences in Connection Calculi. Logic Journal of the IGPL 3(6): 857-886 (1995)
1994
8EEStefan Brüning: Detecting Non-Provable Goals. CADE 1994: 222-236
7EEWolfgang 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
5EEStefan 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
2EEStefan 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)