Search the dblp DataBase
Norbert Eisinger :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Peter Baumgartner , Norbert Eisinger , Ulrich Furbach A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP ] Intellectics and Computational Logic, 2000, pp:3-26 [Conf ] Peter Baumgartner , Norbert Eisinger , Ulrich Furbach A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP ] CADE, 1999, pp:329-343 [Conf ] Norbert Eisinger , Hans Jürgen Ohlbach The Markgraf Karl Refutation Procedure (MKRP). [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:681-682 [Conf ] Norbert Eisinger What You Always Wanted to Know About Clause Graph Resolution. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:316-336 [Conf ] Mathias Kettner , Norbert Eisinger The Tableau Browser SNARKS. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:408-411 [Conf ] 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 ] Norbert Eisinger , Jörg H. Siekmann , Graham Wrightson Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP ] AISB/GI (ECAI), 1978, pp:105-109 [Conf ] 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 ] Norbert Eisinger , Simon Kasif , Jack Minker Logic Programming: A Parallel Approach. [Citation Graph (0, 0)][DBLP ] ICLP, 1982, pp:71-77 [Conf ] 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 ] 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 ] Norbert Eisinger Subsumption And Connection Graphs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1981, pp:480-486 [Conf ] 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 ] Norbert Eisinger Subsumption and Connectionsgraphs. [Citation Graph (0, 0)][DBLP ] GWAI, 1981, pp:188-198 [Conf ] 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 ] Mathias Kettner , Norbert Eisinger SNARKS: A Browser for Tableaux Derivations. [Citation Graph (0, 0)][DBLP ] LPE, 1997, pp:57-59 [Conf ] Norbert Eisinger , Tim Geisler , Sven Panne Logic Implemented Functionally. [Citation Graph (0, 0)][DBLP ] PLILP, 1997, pp:351-368 [Conf ] Mathias Kettner , Norbert Eisinger Der Tableau-Browser SNARKS (system description). [Citation Graph (0, 0)][DBLP ] WLP, 1997, pp:0-0 [Conf ] 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 ] 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 ] 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 ] Search for More Declarativity. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs