Logical Modeling (SS2016): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Logical Modeling |Research group=Computational Logic |Lecturers=Sebastian Rudolph; |Tutors=Lukas Schweizer; |Term=SS |Year=2016 |SWSLecture…“) |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (13 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 3: | Zeile 3: | ||
|Research group=Computational Logic | |Research group=Computational Logic | ||
|Lecturers=Sebastian Rudolph; | |Lecturers=Sebastian Rudolph; | ||
|Tutors=Lukas Schweizer; | |Tutors=Lukas Schweizer; | ||
|Term=SS | |Term=SS | ||
|Year=2016 | |Year=2016 | ||
|Module=MCL-KR, MCL-PI, INF-BAS2, INF-VERT2 | |||
|SWSLecture=0 | |SWSLecture=0 | ||
|SWSExercise=2 | |SWSExercise=2 | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Hausarbeit | |Exam type=Hausarbeit | ||
|Description= | |Description=<b> | ||
We fixed the 14th of July for the presentations of the practical assignments. | |||
</b> | |||
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 [[Semantische Technologien|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. | |||
<br/> | |||
All approaches come with a good tool support for modeling and automated inferencing. After a few initial sessions to provide the basics, the students will be asked to logically model a certain domain and later present the result and explain the design decisions made. | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Seminar | |||
|Title=Introduction | |||
|Room=APB E005 | |||
|Date=2016/04/13 | |||
|DS=DS4 | |||
|Download=LM-Intro-SS2016.pdf, | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Seminar | |||
|Title=Introduction: ASP | |||
|Room=APB E005 | |||
|Date=2016/04/20 | |||
|DS=DS4 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Seminar | |||
|Title=Introduction: OWL | |||
|Room=APB E005 | |||
|Date=2016/05/04 | |||
|DS=DS4 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Seminar | |||
|Title=Introduction: FO(ID), IDP System | |||
|Room=APB E005 | |||
|Date=2016/05/11 | |||
|DS=DS4 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Seminar | |||
|Title=Discussion: Assignment Topics | |||
|Room=APB E005 | |||
|Date=2016/05/25 | |||
|DS=DS4 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Discussion: Assignment Topics | |||
|Room=APB E005 | |||
|Date=2016/06/08 | |||
|DS=DS4 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Presentation: Practical Assignments | |||
|Room=APB E005 | |||
|Date=2016/07/13 | |||
|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
