Module / Course offering Module Owner / Instructors Time period |
Event type | Start semester | ||
---|---|---|---|---|
M1101-CMS70 Foundations of Logical Modeling N.N. |
WiSe 2020/21 | |||
K1101-MA0049T Tutorial Logic Programming Engineering (T) | ||||
K1101-MA0049T Tutorial Logic Programming Engineering (T) Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz Th, 29. Oct. 2020 [09:20] - Th, 4. Feb. 2021 [10:50] |
Tutorial | |||
K1107-MA0048V Foundations of Logic Programming (L) | ||||
K1107-MA0048V Foundations of Logic Programming (L) Prof. Dr. rer. nat. Sebastian Rudolph Mon, 2. Nov. 2020 [16:40] - Mon, 1. Feb. 2021 [18:10] |
Lecture | |||
K1107-MA0057V Foundations of Knowledge Representation (L) | ||||
K1107-MA0057V Foundations of Knowledge Representation (L) Prof. Dr. rer. nat. Sebastian Rudolph Mon, 2. Nov. 2020 [14:50] - Mon, 1. Feb. 2021 [16:20] |
Lecture | |||
K1107-MA0057Ü Foundations of Knowledge Representation (E) | ||||
K1107-MA0057Ü Foundations of Knowledge Representation (E) Prof. Dr. rer. nat. Sebastian Rudolph Th, 29. Oct. 2020 [07:30] - Th, 4. Feb. 2021 [09:00] |
Exercise |