The SCEAS System
Navigation Menu

Search the dblp DataBase


Stefan Brüning: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefan Brüning, Torsten Schaub
    A Connection Calculus for Handling Incomplete Information. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:47-66 [Conf]
  2. Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath
    KoMeT. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:783-787 [Conf]
  3. Stefan Brüning
    Detecting Non-Provable Goals. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:222-236 [Conf]
  4. Torsten Schaub, Stefan Brüning, Pascal Nicolas
    XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:293-297 [Conf]
  5. Torsten Schaub, Stefan Brüning
    Prolog Technology for Default Reasoning (An Abridged Report). [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:105-109 [Conf]
  6. Stefan Brüning, Torsten Schaub
    Avoiding Non-ground Variables. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:92-103 [Conf]
  7. Stefan Brüning, Torsten Schaub
    Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:389-398 [Conf]
  8. Stefan Brüning, Torsten Schaub
    A Model-Based Approach to Consistency-Checking. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:315-324 [Conf]
  9. Stefan Brüning
    On Loop Detection in Connection Calculi. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:144-151 [Conf]
  10. Stefan Brüning
    Exploiting Conditional Equivalences in Connection Calculi. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:122-137 [Conf]
  11. Stefan Brüning
    Search Space Pruning by Checking Dynamic Term Growth. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:52-63 [Conf]
  12. Stefan Brüning
    Towards Efficient Calculi for Resource-Oriented Deductive Planning. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:174-188 [Conf]
  13. Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
    Disjunction in Plan Generation by Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    PuK, 1993, pp:18-26 [Conf]
  14. Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger
    Disjunction In Resource-Oriented Deductive Planning. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:670- [Conf]
  15. Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
    Issues in Theorem Proving Based on the Connection Method. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:1-16 [Conf]
  16. Torsten Schaub, Stefan Brüning
    Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:106, n:1, pp:1-75 [Journal]
  17. Peter Baumgartner, Stefan Brüning
    A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:19, n:2, pp:205-262 [Journal]
  18. Stefan Brüning
    Globally Linear Connection Method. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:4, pp:369-402 [Journal]

  19. A Fault Taxonomy for Service-Oriented Architecture. [Citation Graph (, )][DBLP]

Search in 0.017secs, Finished in 0.018secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002