Norbert Eisinger

Publication Activity (10 Years)

Years Active: 1978-2009
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Simon Brodt, François Bry, Norbert Eisinger
Search for More Declarativity. RR (2009)
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. Reasoning Web (2007)
François Bry, Norbert Eisinger, Georg Schneemayer
Web Services for Teaching: A Case Study. ICWS (2003)
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
A Confluent Connection Calculus. Intellectics and Computational Logic (2000)
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
A Confluent Connection Calculus. CADE (1999)
François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge
SIC: Satisfiability Checking for Integrity Constraints. DDLP (1998)
Mathias Kettner, Norbert Eisinger
The Tableau Browser SNARKS. CADE (1997)
Mathias Kettner, Norbert Eisinger
Der Tableau-Browser SNARKS (system description). WLP (1997)
Norbert Eisinger, Tim Geisler, Sven Panne
Logic Implemented Functionally. PLILP (1997)
Mathias Kettner, Norbert Eisinger
SNARKS: A Browser for Tableaux Derivations. LPE (1997)
Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler
The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC (1995)
Siegfried Bocionek, Norbert Eisinger, Gunnar Teege
4. Internationaler GI-Kongreß Wissensbasierte Systeme. Künstliche Intell. 6 (1) (1992)
Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein
Reduction Rules for Resolution-Based Systems. Artif. Intell. 50 (2) (1991)
Norbert Eisinger
A Note on the Completeness of Resolution with Self-Resolution. Inf. Process. Lett. 31 (6) (1989)
Norbert Eisinger, Hans Jürgen Ohlbach
The Markgraf Karl Refutation Procedure (MKRP). CADE (1986)
Norbert Eisinger
What You Always Wanted to Know About Clause Graph Resolution. CADE (1986)
Norbert Eisinger, M. Weigele
A Technical Note on Splitting and Clausal Normal Form Algorithms. GWAI (1983)
Norbert Eisinger, Simon Kasif, Jack Minker
Logic Programming: A Parallel Approach. ICLP (1982)
Norbert Eisinger
Subsumption and Connectionsgraphs. GWAI (1981)
Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
The Markgraf Karl Refutation Procedure. IJCAI (1981)
Norbert Eisinger
Subsumption And Connection Graphs. IJCAI (1981)
Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
Das Karlsruher Beweissystem. GI Jahrestagung (1980)
Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson
Paramodulated Connection Graphs. AISB/GI (ECAI) (1978)

Norbert Eisinger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Norbert Eisinger