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 |
Sie können gerne das ServiceCenterStudium kontaktieren: