Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) im SS 2016
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, 6. April 2016 in APB E005 | Datei |
| Vorlesung | Tableau Algorithm I | DS6, 13. April 2016 in APB E005 | Datei |
| Vorlesung | Tableau Algorithm II | DS6, 20. April 2016 in APB E005 | Datei |
| Übung | Tutorial: Tableau | DS6, 4. Mai 2016 in APB E005 | Datei |
| Vorlesung | Optimizations for Tableau | DS6, 11. Mai 2016 in APB E005 | Datei |
| Übung | Tutorial: Optimizations | DS6, 25. Mai 2016 in APB E005 | Datei |
| Übung | OWL Modeling and Reasoning using Protege and HermiT | DS6, 8. Juni 2016 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | ASP Solving I | DS6, 15. Juni 2016 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | ASP Solving II | DS6, 22. Juni 2016 in APB E005 | |
| Übung | Tutorial: ASP Solving | DS6, 29. Juni 2016 in APB 2026 | Datei |
| Übung | Question and Answer Session | DS6, 6. Juli 2016 in APB E005 |
Kalender
