Vorlesungsverzeichnis

Modul / Veranstaltung
Modulverantwortlich / Dozent:innen
Zeitraum 		Veranstaltungsart Startsemester
M1101-CMS72 Models of Computation
Prof. Dr. rer. pol. Markus Krötzsch 		SoSe 2024
K1101-MA0002V Advanced Logics (V)
K1101-MA0002V Advanced Logics (V)
Prof. Dr. rer. nat. Christine Baier 		Vorlesung
K1101-MA0002Ü Advanced Logics (Ü)
K1101-MA0002Ü Advanced Logics (Ü)
Prof. Dr. rer. nat. Christine Baier 		Übung
K1101-MA0008V Concurrency Theory (V)
K1101-MA0008V Concurrency Theory (V)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke 		Vorlesung
K1101-MA0008Ü Concurrency Theory (Ü)
K1101-MA0008Ü Concurrency Theory (Ü)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke 		Übung
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü)
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü)
Prof. Dr. rer. nat. Christine Baier 		Übung
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)
Prof. Dr. rer. nat. Christine Baier 		Seminar
K1107-MA0033V Proof Theory and Sequent Systems (V)
K1107-MA0033V Proof Theory and Sequent Systems (V)
Dr. techn. Timothy Stephen Lyon; Prof. Dr. rer. nat. Sebastian Rudolph 		Vorlesung
M1101-CMS73 Artificial Intelligence
Prof. Dr. rer. pol. Markus Krötzsch 		SoSe 2024
K1101-MA0013S Seminar Theoretical Computer Science (S)
K1101-MA0013S Seminar Theoretical Computer Science (S)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Francesco Kriegel 		Seminar
K1101-MA0016V Description Logic (V)
K1101-MA0016V Description Logic (V)
Prof. Dr.-Ing. Franz Baader 		Vorlesung
K1101-MA0016Ü Description Logic (Ü)
K1101-MA0016Ü Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader 		Übung
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V)
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Francesco Kriegel 		Vorlesung
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü)
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Francesco Kriegel 		Übung
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
Dr. rer. nat. Marcos Cramer 		Seminar
K1107-MA0026V First-Order Logic – Semantic and Computational Properties (V)
K1107-MA0026V First-Order Logic – Semantic and Computational Properties (V)
Dr.-Ing. Dörthe Arndt; Prof. Dr. rer. nat. Sebastian Rudolph 		Vorlesung
K1107-MA0058V Algorithmic Game Theory (V)
K1107-MA0058V Algorithmic Game Theory (V)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß 		Vorlesung
K1107-MA0058Ü Algorithmic Game Theory (Ü)
K1107-MA0058Ü Algorithmic Game Theory (Ü)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß 		Übung
K1107-MA0062V Machine Learning 2 (V)
K1107-MA0062V Machine Learning 2 (V)
Prof. Dr. rer. nat. Björn Andres 		Vorlesung
K1107-MA0062Ü Machine Learning 2 (Ü)
K1107-MA0062Ü Machine Learning 2 (Ü)
Prof. Dr. rer. nat. Björn Andres 		Übung
K1107-MA0064P Komplexpraktikum Roboter Lernen (P)
K1107-MA0064P Komplexpraktikum Roboter Lernen (P)
Prof. Dr.-Ing. Roberto Calandra 		Praktikum
M1101-CMS74 Advanced Logical Modeling
Prof. Dr. rer. pol. Markus Krötzsch 		SoSe 2024
DK1100-MA012X Dummykurs CMS 2 SWS
DK1100-MA012X First-Order Logic – Semantic and Computational Properties (V)
Dr.-Ing. Dörthe Arndt; Prof. Dr. rer. nat. Sebastian Rudolph 		Vorlesung
K1101-MA0002V Advanced Logics (V)
K1101-MA0002V Advanced Logics (V)
Prof. Dr. rer. nat. Christine Baier 		Vorlesung
K1101-MA0002Ü Advanced Logics (Ü)
K1101-MA0002Ü Advanced Logics (Ü)
Prof. Dr. rer. nat. Christine Baier 		Übung
K1101-MA0008V Concurrency Theory (V)
K1101-MA0008V Concurrency Theory (V)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke 		Vorlesung
K1101-MA0008Ü Concurrency Theory (Ü)
K1101-MA0008Ü Concurrency Theory (Ü)
Prof. Dr. rer. pol. Markus Krötzsch; Dr. rer. nat. Stephan Mennicke 		Übung
K1101-MA0013S Seminar Theoretical Computer Science (S)
K1101-MA0013S Seminar Theoretical Computer Science (S)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Francesco Kriegel 		Seminar
K1101-MA0016V Description Logic (V)
K1101-MA0016V Description Logic (V)
Prof. Dr.-Ing. Franz Baader 		Vorlesung
K1101-MA0016Ü Description Logic (Ü)
K1101-MA0016Ü Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader 		Übung
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü)
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü)
Prof. Dr. rer. nat. Christine Baier 		Übung
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)
Prof. Dr. rer. nat. Christine Baier 		Seminar
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V)
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Francesco Kriegel 		Vorlesung
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü)
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü)
Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Francesco Kriegel 		Übung
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)
Dr. rer. nat. Marcos Cramer 		Seminar
K1107-MA0033V Proof Theory and Sequent Systems (V)
K1107-MA0033V Proof Theory and Sequent Systems (V)
Dr. techn. Timothy Stephen Lyon; Prof. Dr. rer. nat. Sebastian Rudolph 		Vorlesung
K1107-MA0058V Algorithmic Game Theory (V)
K1107-MA0058V Algorithmic Game Theory (V)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß 		Vorlesung
K1107-MA0058Ü Algorithmic Game Theory (Ü)
K1107-MA0058Ü Algorithmic Game Theory (Ü)
Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß 		Übung