Science of Computational Logic

Lecturer:    Prof. Steffen Hölldobler, Robert Hein

SWS (lectures/tutorial/practical):    2/2/0 (4/4/0 for the 2nd half of the semester)

none

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

Time and location:   Monday DS2, Wednesday DS2 and DS5, Friday DS 3, GRU 350

Additional information:    The course web page