Norbert Eisinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
1978–2003
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | ICWS | Web Services for Teaching: A Case Study. | Franois Bry, Norbert Eisinger, Georg Schneemayer |
| 1999 | CADE | A Confluent Connection Calculus. | Peter Baumgartner, Norbert Eisinger, Ulrich Furbach |
| 1997 | CADE | The Tableau Browser SNARKS. | Mathias Kettner, Norbert Eisinger |
| 1986 | CADE | What You Always Wanted to Know About Clause Graph Resolution. | Norbert Eisinger |
| 1986 | CADE | The Markgraf Karl Refutation Procedure (MKRP). | Norbert Eisinger, Hans Jrgen Ohlbach |
| 1983 | KI | A Technical Note on Splitting and Clausal Normal Form Algorithms. | Norbert Eisinger, M. Weigele |
| 1982 | ICLP | Logic Programming: A Parallel Approach. | Norbert Eisinger, Simon Kasif, Jack Minker |
| 1981 | IJCAI | The Markgraf Karl Refutation Procedure. | Karl-Hans Blsius, Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther |
| 1981 | IJCAI | Subsumption And Connection Graphs. | Norbert Eisinger |
| 1981 | KI | Subsumption and Connectionsgraphs. | Norbert Eisinger |
| 1980 | GI | Das Karlsruher Beweissystem. | Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther |
| 1978 | ECAI | Paramodulated Connection Graphs. | Norbert Eisinger, Jrg H. Siekmann, Graham Wrightson |