Logical Modeling (SS2016): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 70: | Zeile 70: | ||
|Title=Presentation: Practical Assignments | |Title=Presentation: Practical Assignments | ||
|Room=APB E005 | |Room=APB E005 | ||
|Date=2016/07/ | |Date=2016/07/13 | ||
|DS=DS4 | |DS=DS4 | ||
}} | }} | ||
Aktuelle Version vom 13. Juli 2016, 09:54 Uhr
Logical Modeling
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2016
Dozent
Tutor
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Hausarbeit
We fixed the 14th of July for the presentations of the practical assignments.
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 modelling search and constraint satisfaction problems, and
- FO(ID) and the IDP System.
Veranstaltungskalender abonnieren (icalendar)
| Seminar | Introduction | DS4, 13. April 2016 in APB E005 | Datei |
| Seminar | Introduction: ASP | DS4, 20. April 2016 in APB E005 | |
| Seminar | Introduction: OWL | DS4, 4. Mai 2016 in APB E005 | |
| Seminar | Introduction: FO(ID), IDP System | DS4, 11. Mai 2016 in APB E005 | |
| Seminar | Discussion: Assignment Topics | DS4, 25. Mai 2016 in APB E005 | |
| Vorlesung | Discussion: Assignment Topics | DS4, 8. Juni 2016 in APB E005 | |
| Vorlesung | Presentation: Practical Assignments | DS4, 13. Juli 2016 in APB E005 |
Kalender
