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…“) |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| 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 | ||
Version vom 3. April 2016, 15:30 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
There will be more details soon.
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
