Vorlesungsverzeichnis

Modul / Veranstaltung
Modulverantwortlich / Dozent:innen
Zeitraum 		Veranstaltungsart Startsemester
M1101-CMS72 Models of Computation
N.N. 		SoSe 2021
K1101-MA0002V Advanced Logics (V)
K1101-MA0002V Advanced Logics (V)
Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
Do, 15. Apr. 2021 [09:20] - Fr, 23. Jul. 2021 [10:50] 		Vorlesung
K1101-MA0002Ü Advanced Logics (Ü)
K1101-MA0002Ü Advanced Logics (Ü)
Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
Do, 22. Apr. 2021 [11:10] - Do, 22. Jul. 2021 [12:40] 		Übung
K1101-MA0030S Seminar Data Aware Processes (S)
K1101-MA0030S Seminar Data-Aware Processes (S)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Di, 13. Apr. 2021 [14:50] - Di, 20. Jul. 2021 [16:20] 		Seminar
M1101-CMS73 Artificial Intelligence
N.N. 		SoSe 2021
DK1100-MA012X Dummykurs CMS 2 SWS
DK1100-MA012X Computer Vision Seminar (S)
Prof. Dr. rer. nat. Björn Andres
Di, 27. Apr. 2021 [16:40] - Di, 20. Jul. 2021 [18:10] 		Seminar
K1101-MA0016V Description Logic (V)
K1101-MA0016V Description Logic (V)
Prof. Dr.-Ing. Franz Baader
Di, 13. Apr. 2021 [16:40] - Do, 22. Jul. 2021 [18:10] 		Vorlesung
K1101-MA0016Ü Description Logic (Ü)
K1101-MA0016Ü Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader
Mi, 14. Apr. 2021 [14:50] - Mi, 21. Jul. 2021 [16:20] 		Übung
K1101-MA0018V Logic based Ontology Engineering (V)
K1101-MA0018V Logic Based Ontology Engineering (V)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Mi, 14. Apr. 2021 [13:00] - Mi, 21. Jul. 2021 [14:30] 		Vorlesung
K1101-MA0018Ü Logic based Ontology Engineering (Ü)
K1101-MA0018Ü Logic Based Ontology Engineering (Ü)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Do, 15. Apr. 2021 [13:00] - Do, 22. Jul. 2021 [14:30] 		Übung
K1107-MA0018V Database Theory (V)
K1107-MA0018V Database Theory (V)
Prof. Dr. rer. nat. Sebastian Rudolph
Mo, 12. Apr. 2021 [14:50] - Mo, 19. Jul. 2021 [17:50] 		Vorlesung
K1107-MA0018Ü Database Theory (Ü)
K1107-MA0018Ü Database Theory (Ü)
Prof. Dr. rer. nat. Sebastian Rudolph
Di, 13. Apr. 2021 [11:10] - Di, 20. Jul. 2021 [12:40] 		Übung
M1101-CMS74 Advanced Logical Modeling
N.N. 		SoSe 2021
DK1100-MA012X Dummykurs CMS 2 SWS
DK1100-MA012X Computer Vision Seminar (S)
Prof. Dr. rer. nat. Björn Andres
Di, 27. Apr. 2021 [16:40] - Di, 20. Jul. 2021 [18:10] 		Seminar
K1101-MA0002V Advanced Logics (V)
K1101-MA0002V Advanced Logics (V)
Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
Do, 15. Apr. 2021 [09:20] - Fr, 23. Jul. 2021 [10:50] 		Vorlesung
K1101-MA0002Ü Advanced Logics (Ü)
K1101-MA0002Ü Advanced Logics (Ü)
Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
Do, 22. Apr. 2021 [11:10] - Do, 22. Jul. 2021 [12:40] 		Übung
K1101-MA0016V Description Logic (V)
K1101-MA0016V Description Logic (V)
Prof. Dr.-Ing. Franz Baader
Di, 13. Apr. 2021 [16:40] - Do, 22. Jul. 2021 [18:10] 		Vorlesung
K1101-MA0016Ü Description Logic (Ü)
K1101-MA0016Ü Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader
Mi, 14. Apr. 2021 [14:50] - Mi, 21. Jul. 2021 [16:20] 		Übung
K1101-MA0018V Logic based Ontology Engineering (V)
K1101-MA0018V Logic Based Ontology Engineering (V)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Mi, 14. Apr. 2021 [13:00] - Mi, 21. Jul. 2021 [14:30] 		Vorlesung
K1101-MA0018Ü Logic based Ontology Engineering (Ü)
K1101-MA0018Ü Logic Based Ontology Engineering (Ü)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt
Do, 15. Apr. 2021 [13:00] - Do, 22. Jul. 2021 [14:30] 		Übung
K1101-MA0030S Seminar Data Aware Processes (S)
K1101-MA0030S Seminar Data-Aware Processes (S)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke
Di, 13. Apr. 2021 [14:50] - Di, 20. Jul. 2021 [16:20] 		Seminar