Norbert Eisinger

According to our database, Norbert Eisinger authored at least 23 papers between 1978 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

Search for More Declarativity.

Simon Brodt, François Bry, Norbert Eisinger

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

2007

Foundations of Rule-Based Query Answering.

François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei

Proceedings of the Reasoning Web, 2007

2003

Web Services for Teaching: A Case Study.

François Bry, Norbert Eisinger, Georg Schneemayer

Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

2000

A Confluent Connection Calculus.

Peter Baumgartner, Norbert Eisinger, Ulrich Furbach

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1998

SIC: Satisfiability Checking for Integrity Constraints.

François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge

Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 1998

1997

Der Tableau-Browser SNARKS (system description).

Mathias Kettner, Norbert Eisinger

Proceedings of the Twelfth Workshop Logic Programming, 1997

Logic Implemented Functionally.

Norbert Eisinger, Tim Geisler, Sven Panne

Proceedings of the Programming Languages: Implementations, 1997

SNARKS: A Browser for Tableaux Derivations.

Mathias Kettner, Norbert Eisinger

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

The Tableau Browser SNARKS.

Mathias Kettner, Norbert Eisinger

Proceedings of the Automated Deduction, 1997

1995

The theorem prover SATCHMO : strategies, heuristics and applications.

Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler

Proceedings of the JFPLC'95, 1995

1992

4. Internationaler GI-Kongreß Wissensbasierte Systeme.

Siegfried Bocionek, Norbert Eisinger, Gunnar Teege

Künstliche Intell., 1992

1991

Reduction Rules for Resolution-Based Systems.

Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein

Artif. Intell., 1991

1989

A Note on the Completeness of Resolution with Self-Resolution.

Norbert Eisinger

Inf. Process. Lett., 1989

1988

Completeness, confluence, and related properties of clause graph resolution.

Norbert Eisinger

PhD thesis, 1988

1986

The Markgraf Karl Refutation Procedure (MKRP).

Norbert Eisinger, Hans Jürgen Ohlbach

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

What You Always Wanted to Know About Clause Graph Resolution.

Norbert Eisinger

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1983

A Technical Note on Splitting and Clausal Normal Form Algorithms.

Norbert Eisinger, M. Weigele

Proceedings of the GWAI-83, 1983

1982

Logic Programming: A Parallel Approach.

Norbert Eisinger, Simon Kasif, Jack Minker

Proceedings of the First International Logic Programming Conference, 1982

1981

Subsumption and Connectionsgraphs.

Norbert Eisinger

Proceedings of the GWAI-81, 1981

Subsumption And Connection Graphs.

Norbert Eisinger

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

The Markgraf Karl Refutation Procedure.

Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Das Karlsruher Beweissystem.

Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1978

Paramodulated Connection Graphs.

Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978