Jörg Siekmann

from Wikipedia, the free encyclopedia

Jörg H. Siekmann (born August 5, 1941 in Heidelberg ) is a German computer scientist and professor of artificial intelligence .

Jörg H. Siekmann studied mathematics and physics at the University of Göttingen . From 1983 to 1990 he was a professor at the University of Kaiserslautern . Since 1991 he has been a professor at Saarland University in Saarbrücken and one of the scientific directors of the German Research Center for Artificial Intelligence (DFKI).

Jörg Siekmann was one of the initiators of artificial intelligence research in Germany. He played a key role in setting up the artificial intelligence department and the AI ​​department within the Gesellschaft für Informatik , which is now one of the largest national AI organizations, and was the first spokesman for this department.

His research interests include automatic proofing, multi-agent systems and e-learning .

Some publications

  • Jörg H. Siekmann: Universal Unification . In: Proc. 7th Int. Conf. on Automated Deduction (=  LNCS . Band 170 ). Springer, 1984, p. 1-42 .
  • Jörg H. Siekmann: Universal Unification . Univ. Kaiserslautern 1985.
  • RV Book and JH Siekmann: On Unification: Equational Theories Are Not Bounded . In: Journal of Symbolic Computation . tape 2 , 1986, p. 317-324 .
  • A. Herold and JH Siekmann: Unification in Abelian Semigroups . In: Journal of Automated Reasoning . tape 3 , 1987, pp. 247-283 .
  • Jörg H. Siekmann: Unification Theory . In: Journal of Symbolic Computation . tape 7 , 1989, pp. 207-274 .
  • Hans Jürgen Ohlbach and Jörg H. Siekmann: The Margrave Karl Refutation Procedure . In: Jean-Louis Lassez and Gordon Plotkin (Eds.): Computational Logic - Essays in Honor of Alan Robinson . MIT Press, Cambridge / MA 1991, ISBN 0-262-12156-5 , pp. 41-112 .
  • Manfred Schmidt-Schauß and Jörg H. Siekmann: Unification Algebras: An Axiomatic Approach to Unification, Equation Solving and Constraint Solving . 2005.
  • Michael Hoche and Jörg Siekmann and Peter Szabó: String Unification is Essentially Infinitary . RR-08-01, July 2008 (DFKI Research Report).
  • Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier: Lectures on Jacques Herbrand as a Logician . SR-2009-01, 2009 ( online [PDF] DFKI SEKI Report).

Web links

personal data
SURNAME Siekmann, Jörg
ALTERNATIVE NAMES Siekmann, Jörg H.
BRIEF DESCRIPTION German computer scientist and professor for artificial intelligence
DATE OF BIRTH August 5, 1941
PLACE OF BIRTH Heidelberg