Fachbereich Mathematik und Informatik/Informatik/

Dahlem Center for Machine Learning and Robotics

Prof. Dr. habil Christoph Benzmüller

Christoph Benzmueller

Dahlem Center for Machine Learning and Robotics

Institut für Informatik

Fachbereich Mathematik und Informatik

apl. Professor

Adresse

Arnimallee 7
Raum 115
14195 Berlin

Telefon

+49 30 838 52485

Fax

+49 30 838 465301

E-Mail

c.benzmueller@fu-berlin.de

Homepage

Dahlem Center for Machine Learning & Robotics

Siehe Dozenteneintrag im elektronischen Vorlesungsverzeichnis:

Wintersemester 2018/2019

Softwareprojekt: Logik-Software

VL/Ü Universal Logical Reasoning

Seminar: Selected Works of Kurt Gödel

Sommersemester 2018

VL/Ü Künstliche Intelligenz

Wintersemester 2017/2018

Projektseminar: KI-gestützte Pflege einer internationalen Schuldatenbank

Seminar/Proseminar: Intelligente Lehr-/Lernsysteme

Sommersemester 2017

VL/Ü Künstliche Intelligenz

WYSIWYG-Editor for Higher Order Logic

Sommersemester 2016

VL/Ü Computational Metaphysics

Sommersemester 2015

Proseminar: Logik

Wintersemester 2014/2015

SWP Entwicklung eines netzbasierten Editors zur Generierung von PDF-Dokumenten

siehe 7Markets, CRAP

Zu den Publikationen