Module / Course offering Module Owner / Instructors Time period |
Event type | Start semester | ||
---|---|---|---|---|
M1101-CMS70 Foundations of Logical Modeling N.N. |
WiSe 2021/22 | |||
K1101-MA0049T Tutorial Logic Programming Engineering (T) | ||||
K1101-MA0049T Tutorial Logic Programming Engineering (T) Dr.-Ing. Sascha Klüppelholz Tue, 12. Oct. 2021 [13:00] - Tue, 1. Feb. 2022 [14:30] |
Exercise | |||
K1107-MA0048V Foundations of Logic Programming (L) | ||||
K1107-MA0048V Foundations of Logic Programming (L) Dr. techn. Sarah Alice Gaggl; Prof. Dr. rer. nat. Sebastian Rudolph Mon, 11. Oct. 2021 [11:00] - Mon, 31. Jan. 2022 [12:30] |
Lecture | |||
K1107-MA0057V Foundations of Knowledge Representation (L) | ||||
K1107-MA0057V Foundations of Knowledge Representation (L) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. Hannes Straß Mon, 11. Oct. 2021 [14:50] - Mon, 31. Jan. 2022 [16:20] |
Lecture | |||
K1107-MA0057Ü Foundations of Knowledge Representation (E) | ||||
K1107-MA0057Ü Foundations of Knowledge Representation (E) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. Hannes Straß Mon, 11. Oct. 2021 [16:40] - Mon, 31. Jan. 2022 [18:10] |
Exercise | |||
M1101-CMS73 Artificial Intelligence N.N. |
SoSe 2021 | |||
K1101-MA0001Ü Fuzzy Description Logic (Ü) | ||||
K1101-MA0001Ü Fuzzy Description Logic (E) Dr.-Ing. Stefan Borgwardt; Ph.D. Patrick Koopmann Wed, 20. Oct. 2021 [16:40] - Wed, 2. Feb. 2022 [18:10] |
Exercise | |||
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (L) | ||||
K1107-MA0012V Human Reasoning and the Weak Completion Semantics (L) Dr. rer. nat. Marcos Cramer; Dr. rer. nat. Emmanuelle-Anna Dietz Saldanha; Prof. Dr. rer. nat. habil. Steffen Hölldobler Mon, 11. Oct. 2021 [13:00] - Th, 3. Feb. 2022 [14:30] |
Lecture | |||
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (E) | ||||
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics (E) Dr. rer. nat. Marcos Cramer; Dr. rer. nat. Emmanuelle-Anna Dietz Saldanha; Prof. Dr. rer. nat. habil. Steffen Hölldobler Fri, 15. Oct. 2021 [14:50] - Fri, 4. Feb. 2022 [16:20] |
Exercise | |||
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (E) | ||||
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (E) Dr. rer. nat. Marcos Cramer Fri, 22. Oct. 2021 [16:40] - Fri, 4. Feb. 2022 [18:10] |
Exercise |