Seminar: Logical Modelling
Professur Computational Logic | Sommersemester 2020
Seminar: Logical Modelling
This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover
- See also https://iccl.inf.tu-dresden.de/web/Seminar:_Logical_Modelling_(SS2020)
- OWL (the popular Web Ontology Language used in the Semantic Web but also for offline knowledge management solutions)
- Answer Set Programming, a logic programming approach used for modeling search and constraint satisfaction problems, and
- FO(ID) and the IDP System.
Zugang zum Kurs gesperrt.
Bitte melden Sie sich an.
Login
Informationen zum Zugang
Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.