Elmar Eder
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1983–1996
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | AISC | Backward Reasoning in Systems with Cut. | Elmar Eder |
| 1991 | IJCAI | Consolution and its Relation with Resolution. | Elmar Eder |
| 1990 | AIMSA | Rule-Based Mechanism for Constraint Checking in Logic Programs. | Elmar Eder, Yan Liu |
| 1988 | CSL | A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods. | Elmar Eder |
| 1986 | AIMSA | An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. | Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann |
| 1984 | AIMSA | An Implementation of a Theorem Prover Based on the Connection Method. | Elmar Eder |
| 1983 | IJCAI | Towards an Advanced Implementation of the Connection Method. | Wolfgang Bibel, Elmar Eder, Bertram Fronhfer |
| 1983 | KI | Properties of Substitutions and Unifications. | Elmar Eder |