Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in SS 2017
Dozent
Tutor
Umfang (SWS)
- 1/1/0
Module
Leistungskontrolle
- Klausur
Vorlesungsreihe
Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Recap Description Logics | DS6, 5. April 2017 in APB E005 | Datei |
| Vorlesung | Tableau I | DS6, 12. April 2017 in APB E005 | Datei |
| Vorlesung | Tableau II | DS6, 26. April 2017 in APB E005 | Datei |
| Übung | Tableau | DS6, 3. Mai 2017 in APB E005 | Datei |
| Vorlesung | Optimizations for Tableau | DS6, 10. Mai 2017 in APB E005 | Datei |
| Übung | OWL Modeling and Reasoning using Protege and HermiT | DS6, 24. Mai 2017 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | ASP Solving I | DS6, 31. Mai 2017 in APB E005 | Datei |
| Vorlesung | ASP Solving II | DS6, 14. Juni 2017 in APB E005 | Datei |
| Übung | ASP Solving | DS6, 21. Juni 2017 in APB E005 | Datei |
| Übung | ASP Tools | DS6, 28. Juni 2017 in APB E005 | |
| Vorlesung | Q&A | DS6, 5. Juli 2017 in APB E005 |
Kalender
