Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in SS 2015
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 | DS4, 16. April 2015 in APB E005 | Datei |
| Übung | Tutorial: Description Logics | DS4, 23. April 2015 in APB E005 | Datei |
| Vorlesung | Tableau Algorithm I | DS4, 30. April 2015 in APB E005 | Datei |
| Vorlesung | Tableau Algorithm II | DS4, 7. Mai 2015 in APB E005 | Datei |
| Übung | Tutorial: Tableau | DS4, 21. Mai 2015 in APB E005 | Datei |
| Vorlesung | Optimizations for Tableau | DS4, 4. Juni 2015 in APB E005 | Datei |
| Übung | Tutorial: Optimizations | DS4, 11. Juni 2015 in APB E005 | Datei |
| Vorlesung | ASP Solving I | DS4, 18. Juni 2015 in APB E005 | Datei |
| Vorlesung | ASP Solving II | DS4, 25. Juni 2015 in APB E005 | Datei |
| Übung | Tutorial: ASP Solving | DS4, 2. Juli 2015 in APB 2026 | Datei |
| Vorlesung | OWL Modeling and Reasoning using Protege and HermiT | DS4, 9. Juli 2015 in APB E005 | Datei 1, Datei 2 |
| Übung | Question and Answer Session | DS4, 16. Juli 2015 in APB E005 |
Kalender
