Wolfgang Bibel and Elmar Eder. Chapter 3: Methods and calculi for deduction. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1, chapter 3, pages 67-182. Oxford University Press, 1993.
Abstract /
388 KB gzip'd PostScript
Elmar Eder. Relative Complexities of First Order Calculi. Artificial Intelligence. Vieweg, Wiesbaden, 1992. (W. Bibel and W. von Hahn, editors).
Elmar Eder. Consolution and its relation with resolution. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, pages 132-136. Morgan Kaufmann, August 1991.
Elmar Eder and Yan Liu. Rule based mechanisms for constraint checking in logic programs. In Ph. Jorrand and V. Sgurev, editors, Artificial Intelligence IV, Methodology, Systems, Applications (AIMSA'90), Albena, Bulgaria (19-22 Sept. 1990), pages 149-158, Amsterdam, 1990. North-Holland.
Elmar Eder. A comparison of the resolution calculus and the connection method, and a new calculus generalizing both methods. In E. Börger, H. Kleine Büning, and M. M. Richter, editors, CSL'88, 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 1988, Proceedings, Lecture Notes in Computer Science 385, pages 80-98, Berlin, Heidelberg, New York, 1989. Springer-Verlag.
Elmar Eder. Theorem proving and the connection method - the state of the art. Rendiconti del Seminario Matematico, Università e Politecnico di Torino, Logic and Computer Sciences (1986), Fascicolo Speciale:93-114, 1987.
Stephan Bayerl, Elmar Eder, Franz Kurfeß, Reinhold Letz, and Johannes Schumann. An implementation of a prolog-like theorem prover based on the connection method. In Ph. Jorrand and V. Sgurev, editors, Artificial Intelligence II - Methodology, Systems, Applications (AIMSA'86), Varna, Bulgaria (Sept. 1986), pages 29-36, Amsterdam, 1987. North-Holland.
Elmar Eder. Properties of substitutions and unifications. Journal of Symbolic Computation, 1:31-46, 1985.
Elmar Eder. An implementation of a theorem prover based on the connection method. In W. Bibel and B. Petkoff, editors, Artificial Intelligence, Methodology, Systems, Applications (AIMSA'84), Varna, Bulgaria (Sept. 1984), pages 121-128, Amsterdam, New York, Oxford, 1985. European Coordinating Committee for Artificial Intelligence, North-Holland.
Ricardo Caferra, Elmar Eder, Bertram Fronhöfer, and Wolfgang Bibel. Extension of prolog through matrix reduction. In Tim O'Shea, editor, ECAI 84, Proceedings of the Sixth European Conference on Artificial Intelligence, Pisa, Italy, pages 101-104. European Coordinating Committee for Artificial Intelligence, Elsevier Science Publishers B.V. (North-Holland), September 1984.
Wolfgang Bibel, Elmar Eder, and Bertram Fronhöfer. Towards an advanced implementation of the connection method. In Alan Bundy, editor, Proceedings of the Eighth International Joint Conference on Artificial Intelligence IJCAI-83, Karlsruhe, pages 920-922, Los Altos, California, August 1983. William Kaufmann, Inc.
The functional differential equation $x'(t)=x(x(t))$. Journal of Differential Equations, 54(3):390-400, September 1984.
Elmar Eder. Existence, uniqueness, and iterative construction of motions of charged particles with retarded interactions. Annales de l'Institut Henri Poincaré, Section A: Physique théorique, 39(1):1-27, 1983. Gauthier-Villars, Paris.
Elmar Eder. On the question of the existence of a canonically defined distance function for metrics with indefinite signature on a given manifold. General Relativity and Gravitation, 12(10):775-789, 1980.
Elmar Eder. Verallgemeinerungen der Rellichschen Abschätzung und eines Satzes von E. Wienholtz. Zeitschrift für angewandte Mathematik und Mechanik, ZAMM, 54:T186-T188, 1974.
Elmar Eder. Bestimmung der Reichweiten allgemeiner rekursiver Definitionsprozesse für Ordinalzahlen und Ordinalzahlfunktionen. PhD thesis, Universität München, Juni 1977. (Dissertation).
Elmar Eder. Über das Anwachsen von $\int_{K_R\setminus K_a} |u|^2 dm \; (R\to\infty)$ für Lösungen $u$ der Differentialgleichung $\Delta u(x) + p(x) u(x) = 0$. Master's thesis, Universität München, März 1974. (Diplomarbeit).
Elmar Eder. Backward Reasoning in Systems with Cut. Submitted to CADE-13, 1996.
Wolfgang Bibel and Elmar Eder. Decomposition of Tautologies into Regular Formulas and Strong Completeness of Connection-Graph Resolution. Submitted to JACM, 1996.
Elmar Eder. An almost time-optimal search algorithm. In preparation, 1996.
Elmar Eder. Was ist Bildung. In "Was man heute weiß und was man wissen sollte" (Toni Meissner). Newmag, das Magazin für den modernen Europäer, volume 4, pages 25-26, 1995.
Armin B. Cremers, Elmar Eder und Ralf Hinze. Die Rolle der mathematischen Logik in der künstlichen Intelligenz. In Armin B. Cremers, editor, VDI-Report 17, Künstliche Intelligenz, Leitvorstellungen und Verantwortbarkeit, pages 60-65, Verein Deutscher Ingenieure, Düsseldorf, 1993.