The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Norbert Eisinger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein
    Reduction Rules for Resolution-Based Systems. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1991, v:50, n:2, pp:141-181 [Journal]
  2. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:3-26 [Conf]
  3. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:329-343 [Conf]
  4. Norbert Eisinger, Hans Jürgen Ohlbach
    The Markgraf Karl Refutation Procedure (MKRP). [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:681-682 [Conf]
  5. Norbert Eisinger
    What You Always Wanted to Know About Clause Graph Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:316-336 [Conf]
  6. Mathias Kettner, Norbert Eisinger
    The Tableau Browser SNARKS. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:408-411 [Conf]
  7. François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge
    SIC: Satisfiability Checking for Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    DDLP, 1998, pp:25-36 [Conf]
  8. Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
    Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:105-109 [Conf]
  9. Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
    Das Karlsruher Beweissystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:400-412 [Conf]
  10. Norbert Eisinger, Simon Kasif, Jack Minker
    Logic Programming: A Parallel Approach. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:71-77 [Conf]
  11. François Bry, Norbert Eisinger, Georg Schneemayer
    Web Services for Teaching: A Case Study. [Citation Graph (0, 0)][DBLP]
    ICWS, 2003, pp:402-408 [Conf]
  12. Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
    The Markgraf Karl Refutation Procedure. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:511-518 [Conf]
  13. Norbert Eisinger
    Subsumption And Connection Graphs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:480-486 [Conf]
  14. Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler
    The theorem prover SATCHMO : strategies, heuristics and applications. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:349-0 [Conf]
  15. Norbert Eisinger
    Subsumption and Connectionsgraphs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1981, pp:188-198 [Conf]
  16. Norbert Eisinger, M. Weigele
    A Technical Note on Splitting and Clausal Normal Form Algorithms. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:225-232 [Conf]
  17. Mathias Kettner, Norbert Eisinger
    SNARKS: A Browser for Tableaux Derivations. [Citation Graph (0, 0)][DBLP]
    LPE, 1997, pp:57-59 [Conf]
  18. Norbert Eisinger, Tim Geisler, Sven Panne
    Logic Implemented Functionally. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:351-368 [Conf]
  19. Mathias Kettner, Norbert Eisinger
    Der Tableau-Browser SNARKS (system description). [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  20. Norbert Eisinger
    A Note on the Completeness of Resolution with Self-Resolution. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:31, n:6, pp:323-326 [Journal]
  21. Siegfried Bocionek, Norbert Eisinger, Gunnar Teege
    4. Internationaler GI-Kongreß Wissensbasierte Systeme. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:1, pp:40-42 [Journal]
  22. François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
    Foundations of Rule-Based Query Answering. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2007, pp:1-153 [Conf]

  23. Search for More Declarativity. [Citation Graph (, )][DBLP]


Search in 0.044secs, Finished in 0.045secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002