Professor für Informatik und Künstliche Intelligenz
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.
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.
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.
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.
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.
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
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.
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.
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.
Klaus Fischer and Jörg H. Siekmann:An agent architecture for holonic manufacturing systems. IPMM’97, Gold Coast, 1997.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Jörg H. Siekmann. Social impacts of artificial intelligence. In Fifth Generation Computer Conference, pages 178 ff., 1988.
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.
Manfred Schmidt-Schauss and Jörg H. Siekmann:An axiomatic approach to unification. In Proceedings of Second Workshop on Unification. Val d’Ajol, 1988.
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.
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.
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.
Jörg H. Siekmann:Künstliche Intelligenz KI:1984. In Proceedings der Internationalen Konferenz zur Technologiefolgenabschätzung, OECD und BMFT, pages 676 ff., 1984.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Jörg H. Siekmann:String unification. In Proceedings der GI-Fachtagung für Mustererkennung und Kognitive Verfahren, Karlsruhe, 1975. Univ. of Essex.
Cookie-Zustimmung verwalten
Um dir ein optimales Erlebnis zu bieten, verwenden wir Technologien wie Cookies, um Geräteinformationen zu speichern und/oder darauf zuzugreifen. Wenn du diesen Technologien zustimmst, können wir Daten wie das Surfverhalten oder eindeutige IDs auf dieser Website verarbeiten. Wenn du deine Zustimmung nicht erteilst oder zurückziehst, können bestimmte Merkmale und Funktionen beeinträchtigt werden.
Funktional
Always active
Die technische Speicherung oder der Zugang ist unbedingt erforderlich für den rechtmäßigen Zweck, die Nutzung eines bestimmten Dienstes zu ermöglichen, der vom Teilnehmer oder Nutzer ausdrücklich gewünscht wird, oder für den alleinigen Zweck, die Übertragung einer Nachricht über ein elektronisches Kommunikationsnetz durchzuführen.
Preferences
The technical storage or access is necessary for the legitimate purpose of storing preferences that are not requested by the subscriber or user.
Statistiken
The technical storage or access that is used exclusively for statistical purposes.Die technische Speicherung oder der Zugriff, der ausschließlich zu anonymen statistischen Zwecken verwendet wird. Ohne eine Vorladung, die freiwillige Zustimmung deines Internetdienstanbieters oder zusätzliche Aufzeichnungen von Dritten können die zu diesem Zweck gespeicherten oder abgerufenen Informationen allein in der Regel nicht dazu verwendet werden, dich zu identifizieren.
Marketing
Die technische Speicherung oder der Zugriff ist erforderlich, um Nutzerprofile zu erstellen, um Werbung zu versenden oder um den Nutzer auf einer Website oder über mehrere Websites hinweg zu ähnlichen Marketingzwecken zu verfolgen.
