Refereed Papers in Conference Proceedings

Deprecated: Creation of dynamic property Papercite::$options is deprecated in /var/www/clients/client89/web233/web/wp-content/plugins/papercite/papercite.php on line 198

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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″] PDF [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]

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	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
Klaus Fischer and Jörg H. Siekmann: An agent architecture for holonic manufacturing systems. IPMM’97,  Gold Coast, 1997.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]

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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
Jörg H. Siekmann. Social impacts of artificial intelligence. In Fifth Generation Computer Conference, pages 178 ff., 1988.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
Manfred Schmidt-Schauss and Jörg H. Siekmann: An axiomatic approach to unification. In Proceedings of Second Workshop on Unification. Val d’Ajol, 1988.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
Jörg H. Siekmann: Künstliche Intelligenz KI:1984. In Proceedings der Internationalen Konferenz zur Technologiefolgenabschätzung, OECD und BMFT, pages 676 ff., 1984.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
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.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]
Jörg H. Siekmann: String unification. In Proceedings der GI-Fachtagung für Mustererkennung und Kognitive Verfahren, Karlsruhe, 1975. Univ. of Essex.	[su_button background=”#ACCAEA” size=”2″]   PDF   [/su_button][su_button background=”#ACCAEA” size=”2″]BibTex[/su_button]