The exam dates are set now. You may choose a date from the following list: 11.8., 12.8., 28.8., 29.8., 8.9., 9.9., 18.9., 19.9. Please contact our secretary Frau Dalkiran to make your appointment!

The evaluation is completed and the results can be accessed at our teaching quality page.

As you have seen in the first lecture, the projector's lighting was quite dim. We therefore relocated the lecture to IZ 251 (ifis seminar room).

Due to a mix-up in lecture dates, the regular date has been updated: This lecture will be held on Tuesdays from 8:45 AM – 11:15 PM in IZ 160, starting with April 15th. We apologize for any inconvenience.

This course covers the topics of deductive databases and knowledge-based systems (KBSs). This includes (first-order) logic, clause programming (especially in Datalog), deductive database architecture, query processing in deductive databases, expert systems, and the Semantic Web.

Among other things, you will learn about different kinds of formal logics, syntactic basics of predicate logic, the interpretation of logical expressions, efficiently evaluating logical expressions in a database setting, designing a KBS using different flavors of formal logic, the history and vision of KBSs, the rebirth of KBSs in the Semantic Web, and the vision and inner workings of the Semantic Web.