Course Details

Back

K1101-BA0470Ü Unification in Modal and Description Logics (E)

Instructors: Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
Event type: Exercise
Org-unit: Faculty of Computer Science
Hours per week: 2
Language of instruction: English

Literature

Appointments
Date From To Room Instructors
1 Wed, 12. Oct. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
2 Wed, 19. Oct. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
3 Wed, 26. Oct. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
4 Wed, 2. Nov. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
5 Wed, 9. Nov. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
6 Wed, 23. Nov. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
7 Wed, 30. Nov. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
8 Wed, 7. Dec. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
9 Wed, 14. Dec. 2022 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
10 Wed, 4. Jan. 2023 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
11 Wed, 11. Jan. 2023 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
12 Wed, 18. Jan. 2023 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
13 Wed, 25. Jan. 2023 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil
14 Wed, 1. Feb. 2023 14:50 16:20 APB/E005 Prof. Dr.-Ing. Franz Baader; Dr. rer. nat. Oliver Fernandez Gil

Class session overview

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
    •  

Instructors
  • Prof. Dr.-Ing. Franz Baader
  • Dr. rer. nat. Oliver Fernandez Gil