Search the dblp DataBase

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]