Steffen Hölldobler 2006 Prof. Steffen Hölldobler

Authored Monographs

M1:   Foundations of Equational Logic Programming. Lecture Notes in Artificial Intelligence, 353, Springer: 1989.

M2:   Automated Inferencing and Connectionist Models. Post-Doctoral Thesis: 1993.

M3:   Wissensrepräsentation und Inferenz. Vieweg Verlag: 1993 (together with W. Bibel and T. Schaub).

M4:   Logik und Logikprogrammierung. Synchron Verlag, Heidelberg: Jan. 2001.

M5:   Logik und Logikprogrammierung. Second, extended edition. Synchron Verlag, Heidelberg: Dez. 2001.

M6:   Logik und Logikprogrammierung. Third edition. Synchron Verlag, Heidelberg: 2003.

M7:   Logik und Logikprogrammierung, Band 1: Grundlagen. Synchron Verlag, Heidelberg: 2009.

M8:   Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen. Synchron Verlag, Heidelberg: 2011 (together with S. Bader, B. Fronhöfer, U. Hans, P. Hitzler, M. Krötzsch and T. Pietzsch).