Jörg Siekmann

Refereed Papers in Conference Proceedings

since 2001

J. Siekmann and C. Benzmüller, OMEGA: Computer Supported Mathematics. In S. Biundo, T. Frühwirth, and G. Palm (eds.), KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, LNAI vol. 3228, pp. 3-28, Ulm, Germany, 2004. Springer.   PDF   BibTex
C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, M. Wolska, A Wizard of Oz Experiment for Tutorial Dialogues in Mathematics. In Proceedings of AI in Education (AIED) Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia, 2003. PDF BibTex
C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, M. Wolska, Tutorial Dialogs on Mathematical Proofs. In Proceedings of IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12-22, Apapulco, Mexico 2003. PDF BibTex
J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, and M. Pollet, Proof Development with OMEGA: Sqrt(2) is irrational. In M. Baaz and A. Voronkov (ed.), Proceedings of the 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), LNAI vol. 2514, pp. 367-387, Tbilisi, Georgia, 2002. Springer.   PDF   BibTex
J. Siekmann, C. Benzmüller, V. Brezhnev, L. Cheikhrouhou, A. Fiedler, A. Franke, H. Horacek, M. Kohlhase, A. Meier, E. Melis, M. Moschner, I. Normann, M. Pollet, V. Sorge, C. Ullrich, C.-P. Wirth, J. Zimmer, Proof Development with OMEGA. In A. Voronkov (ed.), Proceedings of the 19th Conference on Automated Deduction (CADE), LNAI vol. 2392, pp. 144-149, Copenhagen, Denmark, 2002. Springer.   PDF   BibTex

until 2000

Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Franke, George Goguadze, Helmut Horacek, Michael Kohlhase, Paul Libbrecht, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge, Carsten Ullrich, and Jürgen Zimmer: Adaptive course generation and presentation. In P. Brusilovski, editor, Proceedings of the Fifth International Conference on Intelligent Tutoring Systems—Workshop W2: Adaptive and Intelligent WebBased Education Systems, pages 54–61, Montreal, 2000     PDF   BibTex
Jörg H. Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, and Volker Sorge: LOUI: a distributed graphical user interface for an interactive proof system. In R. Backhouse, editor, In Proceedings of the International Workshop on User Interfaces for Theorem Provers 1998 (UITP 98), number 98-08 in Computer Science Reports, pages 130–138, Eindhoven, Netherlands, 1998. Eindhoven Technical University.     PDF   BibTex
Jörg H. Siekmann, Xiaorong Huang, Michael Kohlhase, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, W. Schaarschmidt, Karsten Konrad, Andreas Meier, Erica Melis, Manfred Kerber, and Volker Sorge: OMEGA: Toward a Mathematical Assistant. In William McCune, editor, Proceedings of 14th International Conference on Automated Deduction (CADE), pages 252–255. Springer, 1997.     PDF   BibTex
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlev Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, and Volker Sorge: Omega: Towards a mathematical assistant. In William McCune, editor, Proceedings of the 14th International Conference on Automated Deduction (CADE), volume 1249 of Lecture Notes in Artificial Intelligence, pages 252–255. Springer, 1997.     PDF   BibTex
Klaus Fischer and Jörg H. Siekmann: An agent architecture for holonic manufacturing systems. IPMM’97,  Gold Coast, 1997.     PDF   BibTex
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, and Andreas Wolpers: Deduction in the Verification Support Environment (VSE). In Marie-Claude Gaudel and Jim Woodcock, editors, FME ’96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europ, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, volume 1051 of Lecture Notes in Computer Science, pages 268–286. Springer, 1996.     PDF   BibTex
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, and Andreas Wolpers: Deduction in Verification Support Environment (VSE). Number 107 in Dagstuhl-Seminar Report. Schloss Dagstuhl,Germany, 1995. IBFI GmbH.     PDF   BibTex
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg H. Siekmann: Omega MKRP — a proof development environment. In Alan Bundy, editor, Proceedings of 12th International Conference on Automated Deduction, volume 814 of Lecture Notes in Artificial Intelligence, pages 788–792. Springer, 1994.     PDF   BibTex
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann, and Volker Sorge: KEIM: A toolkit for automated deduction. In Alan Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction (CADE-12), volume 814 of Lecture Notes in Artificial Intelligence, pages 807–810. Springer, 1994.     PDF   BibTex
Manfred Kerber, Erica Melis, and Jörg H. Siekmann: Reasoning with assertions and examples. In Terry Dartnell, Steven Kim, and Fay Sudweeks, editors, Proc. AAAI Spring Symposium on Artificial Intelligence and Creativity, pages 61–66, Stanford, California, USA, 1993.     PDF   BibTex
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg H. Siekmann: Ω-MKRP — a proof development environment. In Hélène Kirchner, editor, Proc. of the Workshop on Automated Theorem Proving (IJCAI-93), pages 35–36. Chambéry, 1993.     PDF   BibTex
Manfred Kerber, Erica Melis, and Jörg H. Siekmann. Analogical reasoning with a hybrid knowledge base: In Ruzena Bajcsy, editor, Workshop on Principles of Hybrid Knowledge Representation and Reasoning (IJCAI-93), volume 847 of Lecture Notes in Artificial Intelligence. Chambéry, France, 1993.     PDF   BibTex
Jürgen Müller and Jörg H. Siekmann: Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 4. internationaler GI-Kongress Wissensbasierte Systeme, München, 23.-24. Oktober 1991, proceedings. In Wilfried Brauer and Daniel Hernández, editors, Wissensbasierte Systeme, volume 291 of Informatik-Fachberichte, pages 42–52. Springer, 1991.     PDF   BibTex

until 1990

Franz Baader, Hans-Jürgen Bürckert, Bernd Hollunder, Werner Nutt, and Jörg H. Siekmann: Concept logics. In J. W. Lloyd, editor, Proceedings of Symposium on Computational Logic, pages 177–201, Brussels, 1990. Springer.     PDF   BibTex
Karl-Hans Bläsius, Claus-Reiner Rollinger, and Jörg H. Siekmann: Struktur des Inferenzsystems in L-LILOG. In Karl-Hans Bläsius, Ulrich Hedtstück, and Claus-Rainer Rollinger, editors, Sorts and Types in Artificial Intelligence, volume 418 of Lecture Notes in Artificial Intelligence, pages 165–182. Springer, 1990.     PDF   BibTex
Jörg H. Siekmann. Social impacts of artificial intelligence. In Fifth Generation Computer Conference, pages 178 ff., 1988.     PDF   BibTex
Karl-Hans Bläsius and Jörg H. Siekmann: Partial unification for graph based equational reasoning. In Ewing Lusk and Ross Overbeck, editors, Proceedings of 9th Conference on Automated Deduction, volume 310 of Lecture Notes in Computer Science, pages 397–414. Springer, 1988.     PDF   BibTex
Manfred Schmidt-Schauss and Jörg H. Siekmann: An axiomatic approach to unification. In Proceedings of Second Workshop on Unification. Val d’Ajol, 1988.     PDF   BibTex
Jörg H. Siekmann: Unification theory. In Benedict du Boulay, David Hogg, and Luc Steels, editors, Proceedings of 7th European Conference on Artifi- cial Intelligence, pages 365–400. Brighton, 1986.     PDF   BibTex
Norbert Eisinger, Jörg H. Siekmann, and Eva Unvericht: The Markgraf Karl Refutation Procedure. In Jörg Siekmann, editor, Proceedings of 8th Conference on Automated Deduction (CADE), volume 230 of Lecture note in computer science, pages 682 ff. Springer, 1986.     PDF   BibTex
Ronald Book and Jörg H. Siekmann: On the unification hierarchy. In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel / Solling, number 118 in Informatik Fachberichte, pages 111–117. Springer, 1985.     PDF   BibTex
Jörg H. Siekmann: Künstliche Intelligenz KI:1984. In Proceedings der Internationalen Konferenz zur Technologiefolgenabschätzung, OECD und BMFT, pages 676 ff., 1984.     PDF   BibTex
Jörg H. Siekmann: Universal unification. In Robert E. Shostak, editor, Proceedings of the 7th International Conference on Automated Deduction (CADE-7), volume 170 of Lecture Notes in Computer Science, pages 1–42. Springer, 1984.     PDF   BibTex
Jörg H. Siekmann: Einführung in die Künstliche Intelligenz. In Wolfgang Bibel and Jörg H. Siekmann, editors, KIFS, volume 59 of Informatik Fachberichte, pages 1–60. Springer, 1982.     PDF   BibTex
Jörg H. Siekmann and Peter Szabó: Universal unification and a classification of equational theories. In D. Loveland, editor, Proceedings of 6th Conference on Automated Deduction (CADE-6), volume 138 of Lecture Notes in Computer Science, pages 369–389. Springer, 1982.     PDF   BibTex
Jörg H. Siekmann and Peter Szabó: Universal unification. In Wolfgang Wahlster, editor, Proceedings of GI-Fachtagung Künstliche Intelligenz (GWAI-82), 6th German Workshop on Artificial Intelligence, Bad Honnef, September 27 – October 1, 1982, Proceedings, volume 58 of Informatik Fachberichte, pages 102–141. Springer, 1982.     PDF   BibTex
Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, and Christoph Walther: The Markgraf Karl refutation procedure, fall 1981. In P. Hayes and R. Schank, editors, Proceedings of the 7th Intern. Joint Conference on Artificial Intelligence (IJCAI), volume 1, pages 511–518. Canada, 1981.     PDF   BibTex
Jörg H. Siekmann and Peter Szabó: Universal unification in regular ACFM theories. In P. Hayes and P. Schauk, editors, 7th International Joint Conference on Artificial Intelligence (IJCAI), volume 1, pages 532–538. Vancouver, 1981.     PDF   BibTex
Jörg H. Siekmann and Gert Smolka: Selection heuristics, deletion strategies, and n-level terminator configurations for the c-graph proof procedure. In Jörg H. Siekmann, editor, Proceedings of GI-Fachtagung Künstliche Intelligenz (GWAI-81), volume 47 of Informatik Fachberichte, pages 199–200. Springer, 1981.     PDF   BibTex
Jörg H. Siekmann and Peter Szabó: A Noetherian rewrite system for idempotent semigroups. In Jörg H. Siekmann, editor, Proceedings of GIFachtagung Künstliche Intelligenz (GWAI-81), volume 47 of Informatik Fachberichte, pages 235–245. Springer, 1981.     PDF   BibTex
Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Eva Unvericht, and Christoph Walther: Das Karlsruher Beweissystem. In Steven Hardy, editor, Proceedings of the Conference of the European Society for Artificial Intelligence and Simulation of Behavior (AISB), number 33 in Fachberichte Informatik. Amsterdam, 1980.     PDF   BibTex
Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Eva Unvericht, and Christoph Walther: Das Karlsruher Beweissystem. In Tagungsband der 10. GI-Jahrestagung, number 33 in Informatik Fachberichte, pages 400–412. Springer, 1980.     PDF   BibTex
Mike Livesey, Jörg H. Siekmann, Eva Unvericht, and Peter Szabó: Unification problems for combinations of Associativity, Commutativity, Distributivity, and Idempotence axioms. In William H. Joyner, editor, Proceedings of the 4th Workshop on Automated Deduction. Austin (Texas), 1979.     PDF   BibTex
Norbert Eisinger, Jörg H. Siekmann, and Graham Wrightson: Paramodulated connection graphs. In Derek H. Sleeman, editor, Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), Hamburg, Germany, pages 105–109. Leeds University, 1978.     PDF   BibTex
Jörg H. Siekmann and Werner Stephan: Completeness and soundness of the connection graph proof procedure. In Derek H. Sleeman, editor, Proceedings of AISB/GI Conference on Artificial Intelligence, pages 340–344, Hamburg, 1978. Leeds University.     PDF   BibTex
Jörg H. Siekmann: Matching under commutativity. In Proceedings of Conference on Symbolic and Algebraic Manipulation, volume 72 of Lecture Notes in Computer Science, pages 531–545. Springer, 1978.     PDF   BibTex
Stefan Kühner, Chris Matthis, Peter Raulefs, and Jörg H. Siekmann: Unification of idempotent functions. In Morgan Kaufmann, editor, Proceedings of 5th Intern. Joint Conference on Artificial Intelligence, volume 1, pages 528 ff., Boston, 1977. MIT Press.     PDF   BibTex
Susane Daniels, Chris Matthis, Michael Lutze, Jörg H. Siekmann, and Eva Unvericht: Incorporating mathematical knowledge into an ATP-system, investigated for the case of automata theory. In Workshop on Automated Deduction, Cambridge Mass, 1977. MIT Press.     PDF   BibTex
Jörg H. Siekmann: String unification and pattern definable languages. In Wolfgang Bibel and Jörg H. Siekmann, editors, Proceedings of the 2nd German Workshop of Artificial Intelligence, Dortmund, 1976.     PDF   BibTex
Jörg H. Siekmann: String unification. In Proceedings der GI-Fachtagung für Mustererkennung und Kognitive Verfahren, Karlsruhe, 1975. Univ. of Essex.     PDF   BibTex