Elmar Eder - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2000

The Cut Role in Theorem ProvingElmar Eder. BIRTHDAY 2000: 101-123

1997

Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolutionWolfgang Bibel, Elmar Eder. JACM, 44(2):320-344, 1997. [doi]

1996

Backward Reasoning in Systems with CutElmar Eder. AISC 1996: 339-353

1992

Die Rolle der mathematischen Logik in der Künstlichen IntelligenzArmin B. Cremers, Elmar Eder, Ralf Hinze. In Armin B. Cremers, Rolf Haberbeck, Jürgen Seetzen, Ipke Wachsmuth, editors, Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage. Volume 17 of VDI Report, pages 60-65, Verein Deutscher Ingenieure VDI, Düsseldorf, 1992.

Relative complexities of first order calculiElmar Eder. Artificial intelligence = Künstliche Intelligenz, Vieweg, 1992.

1991

Consolution and its Relation with ResolutionElmar Eder. IJCAI 1991: 132-136

1990

Rule-Based Mechanism for Constraint Checking in Logic ProgramsElmar Eder, Yan Liu. aimsa 1990: 149-158

1988

A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both MethodsElmar Eder. csl 1989: 80-98

1986

An Implementation of a PROLOG-like Theorem Prover based on the Connection MethodStefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann. aimsa 1986: 29-36

1985

Properties of Substitutions and UnificationsElmar Eder. JSC, 1(1):31-46, 1985.

1984

An Implementation of a Theorem Prover Based on the Connection MethodElmar Eder. aimsa 1984: 121-128

1983

Towards an Advanced Implementation of the Connection MethodWolfgang Bibel, Elmar Eder, Bertram Fronhöfer. IJCAI 1983: 920-922

Properties of Substitutions and UnificationsElmar Eder. ki 1983: 197-206

Sign in or sign up to see more results.

runs on WebDSL