Module / Course offering Module Owner / Instructors Time period |
Event type | Start semester | ||
---|---|---|---|---|
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 (L) Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer Tue, 11. Oct. 2022 [13:00] - Tue, 31. Jan. 2023 [14:30] |
Lecture | |||
K1101-MA0046Ü Modal Logic (E) | ||||
K1101-MA0046Ü Modal Logic (E) Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer Wed, 12. Oct. 2022 [16:40] - Wed, 1. Feb. 2023 [18:10] |
Exercise | |||
K1107-MA0048V Foundations of Logic Programming (L) | ||||
K1107-MA0048V Foundations of Logic Programming (L) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß Mon, 10. Oct. 2022 [11:10] - Mon, 30. Jan. 2023 [12:40] |
Lecture | |||
K1107-MA0057V Foundations of Knowledge Representation (L) | ||||
K1107-MA0057V Foundations of Knowledge Representation (L) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß Mon, 10. Oct. 2022 [14:50] - Mon, 30. Jan. 2023 [16:20] |
Lecture | |||
K1107-MA0057Ü Foundations of Knowledge Representation (E) | ||||
K1107-MA0057Ü Foundations of Knowledge Representation (E) Prof. Dr. rer. nat. Sebastian Rudolph; Dr. rer. nat. habil. Hannes Straß Mon, 10. Oct. 2022 [16:40] - Mon, 30. Jan. 2023 [18:10] |
Exercise | |||
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 (L) Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil Tue, 11. Oct. 2022 [16:40] - Tue, 31. Jan. 2023 [18:10] |
Lecture | |||
K1101-BA0470Ü Unification in Modal and Description Logics (E) | ||||
K1101-BA0470Ü Unification in Modal and Description Logics (E) Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil Wed, 12. Oct. 2022 [14:50] - Wed, 1. Feb. 2023 [16:20] |
Exercise | |||
K1101-MA0019V Model Checking (L) | ||||
K1101-MA0019V Model Checking (L) Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz Th, 13. Oct. 2022 [09:20] - Th, 2. Feb. 2023 [12:40] |
Lecture | |||
K1101-MA0019Ü Model Checking (E) | ||||
K1101-MA0019Ü Model Checking (E) Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz Fri, 14. Oct. 2022 [09:20] - Fri, 3. Feb. 2023 [12:40] |
Exercise | |||
K1101-MA0022V Complexity Theory (V) | ||||
K1101-MA0022V Complexity Theory (L) Prof. Dr. rer. pol. Markus Krötzsch Mon, 10. Oct. 2022 [09:20] - Tue, 31. Jan. 2023 [10:50] |
Lecture | |||
K1101-MA0022Ü Complexity Theory (E) | ||||
K1101-MA0022Ü Complexity Theory (E) Prof. Dr. rer. pol. Markus Krötzsch Wed, 12. Oct. 2022 [11:00] - Wed, 1. Feb. 2023 [12:30] |
Exercise | |||
K1107-MA0019V Finite and Algorithmic Model Theory (L) | ||||
K1107-MA0019V Finite and Algorithmic Model Theory (L) Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph Wed, 19. Oct. 2022 [14:50] - Wed, 1. Feb. 2023 [16:20] |
Lecture | |||
K1107-MA0019Ü Finite and Algorithmic Model Theory (E) | ||||
K1107-MA0019Ü Finite and Algorithmic Model Theory (E) Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph Th, 20. Oct. 2022 [13:00] - Th, 2. Feb. 2023 [14:30] |
Exercise | |||
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 (L) Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil Tue, 11. Oct. 2022 [16:40] - Tue, 31. Jan. 2023 [18:10] |
Lecture | |||
K1101-BA0470Ü Unification in Modal and Description Logics (E) | ||||
K1101-BA0470Ü Unification in Modal and Description Logics (E) Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil Wed, 12. Oct. 2022 [14:50] - Wed, 1. Feb. 2023 [16:20] |
Exercise | |||
K1101-MA0001V Fuzzy Description Logic (L) | ||||
K1101-MA0001V Fuzzy Description Logic (L) Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt Wed, 12. Oct. 2022 [09:20] - Wed, 1. Feb. 2023 [10:50] |
Lecture | |||
K1101-MA0001Ü Fuzzy Description Logic (E) | ||||
K1101-MA0001Ü Fuzzy Description Logic (E) Prof. Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt Fri, 14. Oct. 2022 [13:00] - Fri, 3. Feb. 2023 [14:30] |
Exercise | |||
K1107-MA0013V Formal Argumentation and Artifical Intelligence (L) | ||||
K1107-MA0013V Formal Argumentation and Artifical Intelligence (L) Dr. rer. nat. Marcos Cramer Wed, 12. Oct. 2022 [13:00] - Wed, 1. Feb. 2023 [14:30] |
Lecture | |||
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (E) | ||||
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (E) Dr. rer. nat. Marcos Cramer Fri, 14. Oct. 2022 [16:40] - Fri, 3. Feb. 2023 [18:10] |
Exercise | |||
K1107-MA0055Ü Introduction to Formal Concept Analysis (E) | ||||
K1107-MA0055Ü Introduction to Formal Concept Analysis (E) Prof. Dr. rer. nat. Sebastian Rudolph Mon, 10. Oct. 2022 [09:20] - Mon, 30. Jan. 2023 [10:50] |
Exercise |