Vorlesungsverzeichnis

Modul / Veranstaltung
Modulverantwortlich / Dozent:innen
Zeitraum 		Veranstaltungsart Startsemester
M1101-CMS70 Foundations of Logical Modeling
Prof. Dr. rer. pol. Markus Krötzsch 		WiSe 2022/23
K1101-MA0046V Modal Logic (V)
K1101-MA0046V Modal Logic (V)
Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
Di, 11. Okt. 2022 [13:00] - Di, 31. Jan. 2023 [14:30] 		Vorlesung
K1101-MA0046Ü Modal Logic (Ü)
K1101-MA0046Ü Modal Logic (Ü)
Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
Mi, 12. Okt. 2022 [16:40] - Mi, 1. Feb. 2023 [18:10] 		Übung
K1107-MA0048V Foundations of Logic Programming (V)
K1107-MA0048V Foundations of Logic Programming (V)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mo, 10. Okt. 2022 [11:10] - Mo, 30. Jan. 2023 [12:40] 		Vorlesung
K1107-MA0057V Foundations of Knowledge Representation (V)
K1107-MA0057V Foundations of Knowledge Representation (V)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mo, 10. Okt. 2022 [14:50] - Mo, 30. Jan. 2023 [16:20] 		Vorlesung
K1107-MA0057Ü Foundations of Knowledge Representation (Ü)
K1107-MA0057Ü Foundations of Knowledge Representation (Ü)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß
Mo, 10. Okt. 2022 [16:40] - Mo, 30. Jan. 2023 [18:10] 		Übung
M1101-CMS72 Models of Computation
N.N. 		SoSe 2022
K1101-BA0470V Unification in Modal and Description Logics (V)
K1101-BA0470V Unification in Modal and Description Logics (V)
Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
Di, 11. Okt. 2022 [16:40] - Di, 31. Jan. 2023 [18:10] 		Vorlesung
K1101-BA0470Ü Unification in Modal and Description Logics (Ü)
K1101-BA0470Ü Unification in Modal and Description Logics (Ü)
Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
Mi, 12. Okt. 2022 [14:50] - Mi, 1. Feb. 2023 [16:20] 		Übung
K1101-MA0019V Model Checking (V)
K1101-MA0019V Model Checking (V)
Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
Do, 13. Okt. 2022 [09:20] - Do, 2. Feb. 2023 [12:40] 		Vorlesung
K1101-MA0019Ü Model Checking (Ü)
K1101-MA0019Ü Model Checking (Ü)
Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
Fr, 14. Okt. 2022 [09:20] - Fr, 3. Feb. 2023 [12:40] 		Übung
K1101-MA0022V Complexity Theory (V)
K1101-MA0022V Complexity Theory (V)
Prof. Dr. rer. pol. Markus Krötzsch
Mo, 10. Okt. 2022 [09:20] - Di, 31. Jan. 2023 [10:50] 		Vorlesung
K1101-MA0022Ü Complexity Theory (Ü)
K1101-MA0022Ü Complexity Theory (Ü)
Prof. Dr. rer. pol. Markus Krötzsch
Mi, 12. Okt. 2022 [11:00] - Mi, 1. Feb. 2023 [12:30] 		Übung
K1107-MA0019V Finite and Algorithmic Model Theory (V)
K1107-MA0019V Finite and Algorithmic Model Theory (V)
Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
Mi, 19. Okt. 2022 [14:50] - Mi, 1. Feb. 2023 [16:20] 		Vorlesung
K1107-MA0019Ü Finite and Algorithmic Model Theory (Ü)
K1107-MA0019Ü Finite and Algorithmic Model Theory (Ü)
Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
Do, 20. Okt. 2022 [13:00] - Do, 2. Feb. 2023 [14:30] 		Übung
M1101-CMS73 Artificial Intelligence
N.N. 		SoSe 2022
K1101-BA0470V Unification in Modal and Description Logics (V)
K1101-BA0470V Unification in Modal and Description Logics (V)
Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
Di, 11. Okt. 2022 [16:40] - Di, 31. Jan. 2023 [18:10] 		Vorlesung
K1101-BA0470Ü Unification in Modal and Description Logics (Ü)
K1101-BA0470Ü Unification in Modal and Description Logics (Ü)
Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
Mi, 12. Okt. 2022 [14:50] - Mi, 1. Feb. 2023 [16:20] 		Übung
K1101-MA0001V Fuzzy Description Logic (V)
K1101-MA0001V Fuzzy Description Logic (V)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Mi, 12. Okt. 2022 [09:20] - Mi, 1. Feb. 2023 [10:50] 		Vorlesung
K1101-MA0001Ü Fuzzy Description Logic (Ü)
K1101-MA0001Ü Fuzzy Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Fr, 14. Okt. 2022 [13:00] - Fr, 3. Feb. 2023 [14:30] 		Übung
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V)
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V)
Dr. rer. nat. Marcos Cramer
Mi, 12. Okt. 2022 [13:00] - Mi, 1. Feb. 2023 [14:30] 		Vorlesung
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü)
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü)
Dr. rer. nat. Marcos Cramer
Fr, 14. Okt. 2022 [16:40] - Fr, 3. Feb. 2023 [18:10] 		Übung
K1107-MA0055Ü Introduction to Formal Concept Analysis (Ü)
K1107-MA0055Ü Introduction to Formal Concept Analysis (Ü)
Prof. Dr. rer. nat. Sebastian Rudolph
Mo, 10. Okt. 2022 [09:20] - Mo, 30. Jan. 2023 [10:50] 		Übung