Elmar Eder

According to our database, Elmar Eder authored at least 12 papers between 1983 and 2000.

Collaborative distances:

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

2000

The Cut Role in Theorem Proving.

Elmar Eder

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

1997

Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.

Wolfgang Bibel, Elmar Eder

J. ACM, 1997

1996

Backward Reasoning in Systems with Cut.

Elmar Eder

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1992

Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.

Armin B. Cremers, Elmar Eder, Ralf Hinze

Proceedings of the Künstliche Intelligenz, 1992

Relative complexities of first order calculi.

Elmar Eder

Artificial intelligence = Künstliche Intelligenz, Vieweg, ISBN: 978-3-528-05122-8, 1992

1991

Consolution and its Relation with Resolution.

Elmar Eder

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Rule-Based Mechanism for Constraint Checking in Logic Programs.

Elmar Eder, Yan Liu

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988

A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods.

Elmar Eder

Proceedings of the CSL '88, 1988

1986

An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.

Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985

Properties of Substitutions and Unifications.

Elmar Eder

J. Symb. Comput., 1985

1984

An Implementation of a Theorem Prover Based on the Connection Method.

Elmar Eder

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983

Towards an Advanced Implementation of the Connection Method.

Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983