Chercheurs

Informatique / SIEKMANN, JÖRG H.

siekmann

Position

Professor in the Department of Computer Science
Universität des Saarlandes,
FR 6.2 Informatik
D-66123 Saarbrücken, Germany.

Head of several research groups working in artificial intelligence at
the "Universität des Saarlandes" and at the German Research Centre for Artificial Intelligence (DFKI) in Saarbrücken.

Thèmes de recherche

His main research interests are Artificial
Intelligence, Automated Reasoning, Multiagent Systems and e-Learning in mathematics.

Prix et récompenses

Currently he is the chairman of the collaborative research centre "Resource-adaptive cognitive Processes"
(SFB 378) of the German Science Foundation (DFG).

He is the co-chairman of the network of excellence
on computational logic (CoLog Net), a vice president of the international federation on computational logic
(IFCoLog) and the chairman of the CALCULEMUS Network.

Publications

J. Siekmann, P. Szabo
"A noetherian and confluent rewriting system for idempotent semigroups"
Semigroup Forum 25, 1982, 83-110

R. Book, J. Siekmann
"On Unification: Equational theories are not bounded"
Journal of Symbolic Computation 2, 1986, 317-324

A. Herold, J. Siekmann
"Unification in abelian semigroups"
Journal of Automated Reasoning 3(3), 1987, 247-283

J. Siekmann, P. Szabo
"The undecidability of the DA-unification problem"
Journal of Symbolic Logic, 54(2), 1989, 402-414

J. Siekmann
"Unification Theory"
Journal of Symbolic Computation 7, 1989, 207-274

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, Nov. 1990, Springer-Verlag, 177-201

C. Beierle, U. Hedtstück, U. Pletat, P. Schmitt, J. Siekmann
"An Order sorted Logic for Knowledge Representations"
Journal of Artificial Intelligence, vol.55, 1992

J. Siekmann, M, Kohlhase, E. Melis
"OMEGA: Ein mathematisches Assistenzsystem"
Kognitionswissenschaft, vol 7, No.3, p 101-105, 1998
English in: JFAK, Essays dedicated to Johan von Benthem, Amsterdam, , 1999

E. Melis, J. Siekmann
"Knowledge-based proof planning"
Journal of Artificial Intelligence, vol 115, p 65-105, 1999

K. Fischer, Ch. Gerber, J. Siekmann, G. Vierke
"Holonic Multi Agent Systems"
to appear: JAI, Elsavier