Seminar: Logical Modelling
Aus International Center for Computational Logic
Seminar: Logical Modelling
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2020
Dozent
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Hausarbeit
- Referat
Description
This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover
- 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.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Initial Discussion & Introduction | DS3, 6. April 2020 in APB E005 | |
| Vorlesung | Answer-Set Programming I | DS3, 20. April 2020 in APB E005 | Datei |
| Vorlesung | Answer-Set Programmin II | DS3, 27. April 2020 in APB E005 | |
| Vorlesung | Web Ontology Language I | DS3, 4. Mai 2020 in APB E005 | Datei |
| Vorlesung | Web Ontology Language II - Reasoning | DS3, 25. Mai 2020 in APB E005 | Datei |
| Vorlesung | Presentations | DS2, 7. August 2020 in APB E005 |
Kalender
