Vorlesungsverzeichnis

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)
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