Professor für Informatik und Künstliche Intelligenz
Books and Proceedings
C. P. Wirth, J.Siekmann, V.Peckhaus, M. Gabbay, D. Gabbay:“David Hilbert, Paul Bernays: Grundlagen Mathematik I”, Foundations of Mathematics I, bilingual 8-volume edition, 2016; subsequent volumes to appear.
D. Gabbay, J. Siekmann, J. Woods: “Handbook on the History of Logic” (eleven volumes) vol 9, North Holland, Elsevier, 2014.
Crocker, W. Matthew, and J. Siekmann, “Resource-adaptive cognitive processes”. Springer, 2010.
K. Bläsius, H. Bürckert, N. Eisinger, D. Hutter, A. Nonnengart, H. Ohlbach, and J. Siekmann:Deduction systems in Artificial Intelligence. Ellis Horwood, 1989.
K. Bläsius, H. Bürckert, N. Eisinger, D. Hutter, A. Nonnengart, H. Ohlbach, and J. Siekmann:Deduktionssysteme, Automatisierung des logischen Denkens. Oldenburg, first edition 1987, second edition, 1992.
Englisch in:Deduction Systems in Artificial Intelligence. Ellis Horwood, 1989.
J. Siekmann:Proceedings of the 8th International Conference on Automated Deduction (CADE), volume 230 of Lecture Notes in Computer Science. Springer, 1986.
J. Siekmann and G. Wrightson:Automation of Reasoning, volume 1 and 2. Springer, 1983.
J. Siekmann:Künstliche Intelligenz, Proceedings of DECUS Conference, Kiel (Germany), 1983.
W. Bibel, N. Eisinger, W. Schneeberger, and J. Siekmann:Studien- und Forschungsführer Künstliche Intelligenz. Springer, first edition 1983, second edition, 1987.
W. Bibel and J. Siekmann:Künstliche Intelligenz, Frühjahrsschule, Teisendorf, vol. 59 in Informatik Fachberichte. Springer, 1982.
J. Siekmann:German Workshop on Artificial Intelligence (GWAI), Bad Honnef, vol. 47 in Informatik Fachberichte. Springer, 1981.
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.
