Modul / Veranstaltung Modulverantwortlich / Dozent:innen Zeitraum |
Veranstaltungsart | Startsemester | ||
---|---|---|---|---|
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) Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz Di, 12. Okt. 2021 [13:00] - Di, 1. Feb. 2022 [14:30] |
Übung | |||
K1107-MA0048V Foundations of Logic Programming (V) | ||||
K1107-MA0048V Foundations of Logic Programming (V) Dr. techn. Sarah Alice Gaggl; Prof. Dr. rer. nat. Sebastian Rudolph Mo, 11. Okt. 2021 [11:00] - Mo, 31. Jan. 2022 [12:30] |
Vorlesung | |||
K1107-MA0057V Foundations of Knowledge Representation (V) | ||||
K1107-MA0057V Foundations of Knowledge Representation (V) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. Hannes Straß Mo, 11. Okt. 2021 [14:50] - Mo, 31. Jan. 2022 [16:20] |
Vorlesung | |||
K1107-MA0057Ü Foundations of Knowledge Representation (Ü) | ||||
K1107-MA0057Ü Foundations of Knowledge Representation (Ü) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. Hannes Straß Mo, 11. Okt. 2021 [16:40] - Mo, 31. Jan. 2022 [18:10] |
Übung | |||
M1101-CMS73 Artificial Intelligence N.N. |
SoSe 2021 | |||
K1101-MA0001Ü Fuzzy Description Logic (Ü) | ||||
K1101-MA0001Ü Fuzzy Description Logic (Ü) Dr.-Ing. Stefan Borgwardt; Ph.D. Patrick Koopmann Mi, 20. Okt. 2021 [16:40] - Mi, 2. Feb. 2022 [18:10] |
Übung | |||
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V) | ||||
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V) Dr. rer. nat. Marcos Cramer; Dr. rer. nat. Emmanuelle-Anna Dietz Saldanha; Prof. Dr. rer. nat. habil. Steffen Hölldobler Mo, 11. Okt. 2021 [13:00] - Do, 3. Feb. 2022 [14:30] |
Vorlesung | |||
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (Ü) | ||||
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (Ü) Dr. rer. nat. Marcos Cramer; Dr. rer. nat. Emmanuelle-Anna Dietz Saldanha; Prof. Dr. rer. nat. habil. Steffen Hölldobler Fr, 15. Okt. 2021 [14:50] - Fr, 4. Feb. 2022 [16:20] |
Übung | |||
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü) | ||||
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü) Dr. rer. nat. Marcos Cramer Fr, 22. Okt. 2021 [16:40] - Fr, 4. Feb. 2022 [18:10] |
Übung |
Sie können gerne das ServiceCenterStudium kontaktieren: