Jrg H. Siekmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
11
Active years
1977–2006
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | KI | History of AI in Germany and The Third Industrial Revolution. | Jrg H. Siekmann |
| 2004 | ICAISC | ActiveMath: An Intelligent Tutoring System for Mathematics. | Erica Melis, Jrg H. Siekmann |
| 2004 | KI | Omega: Computer Supported Mathematics. | Jrg H. Siekmann, Christoph Benzmller |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2002 | LPAR | Proof Development with Omega-MEGA: sqrt(2) Is Irrational. | Jrg H. Siekmann, Christoph Benzmller, Armin Fiedler, Andreas Meier, Martin Pollet |
| 2000 | FlAIRS | Formal Software Development in the Verification Support Environment (VSE). | Dieter Hutter, Georg Rock, Jrg H. Siekmann, Werner Stephan, Roland Vogt |
| 1998 | AIMSA | Planning Diagonalization Proofs. | Lassaad Cheikhrouhou, Jrg H. Siekmann |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1996 | FM | Deduction in the Verification Support Environment (VSE). | Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers |
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1991 | WI | Structured Social Agents. | Jrgen Mller, Jrg H. Siekmann |
| 1988 | CADE | Partial Unification for Graph Based Equational Reasoning. | Karl-Hans Blsius, Jrg H. Siekmann |
| 1988 | ECAI | What is Computation? (Panel Introduction). | Jrg H. Siekmann, Sten-ke Trnlund, Aaron Sloman, Andy Clark, Margaret A. Boden |
| 1986 | ECAI | Unification Theory. | Jrg H. Siekmann |
| 1985 | KI | On the Unification Hierarchy. | Ronald V. Book, Jrg H. Siekmann |
| 1984 | CADE | Universal Unification. | Jrg H. Siekmann |
| 1982 | CADE | Universal Unification and a Classification of Equational Theories. | Jrg H. Siekmann, Peter Szab |
| 1982 | KI | Einfhrung in die Knstliche Intelligenz. | Jrg H. Siekmann |
| 1982 | KI | Universal Unification. | Jrg H. Siekmann, Peter Szab |
| 1981 | IJCAI | The Markgraf Karl Refutation Procedure. | Karl-Hans Blsius, Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther |
| 1981 | IJCAI | Universal Unification and Regular Equational ACFM Theories. | Jrg H. Siekmann, Peter Szab |
| 1981 | KI | Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. | Jrg H. Siekmann, Gert Smolka |
| 1981 | KI | A Noetherian Rewrite System for Idempotent Semigroups. | Jrg H. Siekmann, Peter Szab |
| 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 |
| 1978 | ECAI | Completeness and Soundness of the Connection Graph Proof. | Werner Stephan, Jrg H. Siekmann |
| 1977 | IJCAI | Unification of Idempotent Functions. | Stefan Khner, Chris Mathis, Peter Raulefs, Jrg H. Siekmann |