Jörg Siekmann

Articles in Scientific Journals and Books

since 2001

M. Hoche, J. Siekmann, P. Szabo: “String unification is essentially infinitary” in: IFCOLOG Journal of Logics and their Applications, Volume 3 Number 5, Saarländische Universitäts-und Landesbibliothek, 2016
P. Szabo, J. Siekmann, M.Hoche: “What is essential Unification?” in: “Martin Davis on Computability, Computational Logic, and Mathematical Foundations”, Alberto Policri, pp 285-314, Springer Verlag, 2016
J. Siekmann: “Computational Logic”  in: D.Gabbay, J.Siekmann,J.Woods (eds) “Handbook on the History of Logic”, vol 9, North Holland, Elsevier, 2014
S. Autexier, C. Benzmüller, D. Dietrich, J. Siekmann: OMEGA in: „Resource Adaptive Cognitive Processes“ , Springer, 2010
C. Benzmüller, M. Schiller, J. Siekmann: „Resource Bounded Modelling and Analysis of Human-Level Interactive Proofs“ in: Resource-adaptive cognitive processes, pp 291-311, Springer, 2010
E. Melis, A. Meier, J. Siekmann: “Proof Planning with mutiple Strategies” Journal of Artificial Intelligence, vol 172, pp 656-658, 2007
C. Benzmüller, A. Fiedler, A. Meier, M. Pollet, and J. Siekmann: OMEGA. In F. Wieddijk (ed.), The seventeen provers of the world, LNAI, vol 3600, pp. 127-141, Springer. 2006.
C. Benzmüller, H. Horacek, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann, M. Wolskam, Natural Language Dialog with a Tutor System for Mathematical Proofs. Journal of Computer Science and Technology. pp 1-14, 2006
J. Siekmann, C. Benzmüller, and S. Autexier, Computer Supported Mathematics with OMEGA. Special Issue on Mathematics Assistance Systems, Journal of Applied Logic, vol 4, no. 4, pp 533-559 Elsevier, 2005
C. Benzmüller, I. Kruijff-Korbayova, M. Pinkal, J. Siekmann: Natural Language Dialog with a Tutor System for Mathematical Proof.  Journal JCST, pp 1-14, 2007.
J. Siekmann, C. Benzmüller: OMEGA: Computer Supported Mathematics. In: Advances in Artificial Intelligence, Springer , Vol. 3228, 2004
E. Melis, J. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics: Int. Conf. on AI and Soft Computing, LNAI vol. 3070, 2004
J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, I. Normann, and M. Pollet: Proof Developtment in OMEGA – The Irrationality of Square Root of 2. In Fairouz Kamareddine (ed.), Thirty Five Years of Automating Mathematics, Applied Logic Series. Volume 28, pp. 271-314. Kluwer Academic Publishers, 2003.
J. Siekmann, G. Wrightson:  “Strong Completeness of A. Kowalski’s Connection Graph Proof Procedure” Springer Lecture Notes on AI, vol 2408, pp 231, 2002

until 2000

D. Hutter, B. Langenstein, G. Rock, J. Siekmann, W.& R. Vogt: Formal software development in the Verification Support Environment (VSE), Journal of Experimental & Theoretical Artificial Intelligence”, Volume 12, no. 4, pp 383-406, 2000
E. Melis and J. Siekmann: Knowledge-based proof planning. Artificial Intelligence, vol. 115, no. 1, pp 65–105, 1999.
J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet, and V. Sorge: LOUI Lovely Omega User Interface. Formal Aspects of Computing, vol. 11, pp 326–342, 1999.
Jörg H. Siekmann, Helmut Horacek, Michael Kohlhase, Christoph Benzmüller, Lassad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Stephan Hess, Karsten Konrad, Andreas Meier, Erica Melis, and Volker Sorge: An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant. In Daniel M. Dubois, editor, International Journal of Computing Anticipatory Systems (CASYS), volume 3, pages 101–110, Liege, Belgium, 1999. CHAOS.
Michael Kohlhase, Erica Melis, and Jörg H. Siekmann: OMEGA: A mathematical assistant. In Maarten de Rijke, editor, Liber Amicorum J. von Bentham. Amsterdam, 1999.
J. Siekmann, M. Kohlhase, E. Melis:  “OMEGA: Ein mathematisches Assistenzsystem” Kognitionswissenschaft, vol 7, No. 3, p 101-105, 1998 (Englisch in: JFAK, Essays dedicated to J. von Benthem, Amsterdam, Univ. Press, 1999)
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 the interactive proof system Omega. In Roland C. Backhouse, editor, User Interfaces for Theorem Provers, number 98–08 in Computing Science Reports, pages 130–138, Department of Mathematics and Computing Science, Eindhoven Technical University, 1998.
Manfred Kerber, Erica Melis, and Jörg H. Siekmann. Calculemus et exemplificamus: Reasoning with hybrid knowledge bases. In T. Dartnall, editor, Creativity, Cognition and Computation, Proceedings of AAAI. MIT Press, 1996.
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg H. Siekmann: Die Beweisentwicklungsumgebung Ω-MKRP. Informatik Forschung und Entwicklung, 11(1), 1996.
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, and Andreas Wolpers: Verification support environment (VSE). Journal of High Integrity Systems, 1(6):523–530, 1996.
K. Fischer, N. Kuhn, H. J. Müller, J. P. Müller, M. Pischel, A. Schupeta, und J. Siekmann. Güter, Trucks und Speditionen: eine ausgezeichnete Domäne für Multiagentenforschung. Magazin Forschung, 1:10-16, 1994
Franz Baader and Jörg H. Siekmann: Unification theory. In Dov M. Gabbay, C. J. Hogger, and J. Alan Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2. Oxford Univ. Press, 1994.
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, and Jörg H. Siekmann: A predicate logic with closely coupled taxonomic information. In K. Meinke and J. K. Tucker, editors, Many sorted Logics and its Applications. John Wiley & Sons, 1993.
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, and Jörg H. Siekmann: An order sorted logic for knowledge representation systems. Journal of Artificial Intelligence, vol 55: 149–191, 1992.
Jörg H. Siekmann: Künstliche Intelligenz und Logik. Sonderheft Zeitschrift KI, 3, 1992.
Michael McRobbie and Jörg H. Siekmann: Artificial intelligence: Perspectives and predictions. Applied Artificial Intelligence, vol 5: 187–207, 1991
Hans Jürgen Ohlbach and Jörg H. Siekmann: The Markgraf Karl refutation procedure. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: essays in honor of Alan Robinson. MIT-Press, Cambridge, 1991.

until 1990

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J.Siekmann:  “Concept Logics” In J.W. Lloyd (Ed.), Computational Logic, Symposium Proceedings, Brussels, November 1990, Springer-Verlag, 177-201.
Jörg H. Siekmann: An introduction to unification theory. In R. B. Banerji, editor, Formal Techniques of Artificial Intelligence. North Holland, 1990.
Jörg H. Siekmann: Social impacts of Artificial Intelligence. ICOT-Journal, (1), 1990.
 Jörg H. Siekmann: Unification theory: A survey. In Claude Kirchner, editor, Unification, pages 207–274. Academic Press, 1990.
Jörg H. Siekmann: An introduction to unification theory. In R. B. Banerji, editor, A Sourcebook on Formal Techniques in Artificial Intelligence. Elsevier, 1989
Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark Stickel, M. Tepp, and Hantao Zhang: Opening the ACunification race. Journal of Automated Reasoning, 4:465–475, 1989
Jörg H. Siekmann: Unification theory: A survey. Journal of Symbolic Computation, 7(3):207–274, 1989.
Jörg H. Siekmann and Peter Szabó: The undecidability of the DA-unification problem. Journal of Symbolic Logic, 54(2):402–414, 1989.
Michael McRobbie and Jörg H. Siekmann: Artificial intelligence: Perspectives and predictions. European Journal on AI (AI Communications), 1(4), 1988.
Alexander Herold and Jörg H. Siekmann: Unification in Abelian Semigroups. Journal of Automated Reasoning, 3(3):247–283, 1987.
Karl-Hans Bläsius and Jörg H. Siekmann: Computergestützte Frühwarn- und Entscheidungssysteme. Informatik Spektrum, 10(1):24–39, 1986.
Ronald Book and Jörg H. Siekmann: On unification: Equational theories are not bounded. Journal of Symbolic Computation, 2:317–324, 1986.
Jörg H. Siekmann and Peter Szabó: Uniwersalnaja unifikazija i klassifikazija ekwazionalnich teorij. Perewod na russkij jasyk, 1985.
Karl-Hans Bläsius and Jörg H. Siekmann: Computergestützte Frühwarn- und Entscheidungssysteme. In Wissenschaft und Rüstung, pages 163–199. Steinweg, 1985.
Jörg H. Siekmann and Peter Szabó: A Noetherian and confluent rewrite system for idempotent semigroups. Semigroup Forum, 25:83–110, 1982.
Jörg H. Siekmann and Graham Wrightson: Paramodulated connection graphs. Acta Informatica, 13:67–86, 1980.

Copyright 2016 by Jörg Siekmann | Design by Martina Tran