Unification in Modal and Description Logics
From International Center for Computational Logic
Unification in Modal and Description Logics
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2022
Lecturer
Tutor
SWS
- 2/2/0
Modules
- CMS‑LM‑AI
- INF‑B‑510
- INF‑B‑520
- INF‑BAS6
- INF‑VERT6
- MCL‑TCSL
- MCL‑PI
- CMS‑LM‑MOC
- CMS‑LM‑ADV
- MCL‑KR
- INF‑PM‑FOR
- INF‑BAS2
- INF‑VERT2
- MCL‑AI
Examination method
- Oral exam
