Elmar Eder

13 papers A* 2B 1Misc 3Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2000 — conf
The Cut Role in Theorem Proving.
Intellectics and Computational Logic
Elmar Eder
1997 J jnl
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
J. ACM
Wolfgang Bibel, Elmar Eder
1996 — conf
Backward Reasoning in Systems with Cut.
AISMC
Elmar Eder
1992 — ch.
Die Rolle der mathematischen Logik in der Künstlichen Intelligenz.
Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit (1)
Armin B. Cremers, Elmar Eder, Ralf Hinze
1992 — book
Relative complexities of first order calculi.
Elmar Eder
1991 A* conf
Consolution and its Relation with Resolution.
IJCAI
Elmar Eder
1990 Misc conf
Rule-Based Mechanism for Constraint Checking in Logic Programs.
AIMSA
Elmar Eder, Yan Liu
1988 B conf
A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods.
CSL
Elmar Eder
1986 Misc conf
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.
AIMSA
Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
1985 J jnl
Properties of Substitutions and Unifications.
J. Symb. Comput.
Elmar Eder
1984 Misc conf
An Implementation of a Theorem Prover Based on the Connection Method.
AIMSA
Elmar Eder
1983 — conf
Properties of Substitutions and Unifications.
GWAI
Elmar Eder
1983 A* conf
Towards an Advanced Implementation of the Connection Method.
IJCAI
Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer