Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in SS 2019
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.
Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction to Description Logics | DS5, 8. April 2019 in APB E005 | Datei |
| Übung | Tutorial: Description Logics | DS5, 15. April 2019 in APB E005 | Datei |
| Vorlesung | Tableau I | DS5, 29. April 2019 in APB E005 | Datei |
| Vorlesung | Tableau II | DS5, 6. Mai 2019 in APB E005 | Datei |
| Übung | Tutorial: Tableau I&II | DS5, 13. Mai 2019 in APB E005 | Datei |
| Vorlesung | Tableau Optimizations | DS5, 20. Mai 2019 in APB E005 | Datei |
| Übung | Tutorial: Hands-On Tools | DS5, 27. Mai 2019 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Introduction to Answer-Set Programming | DS5, 3. Juni 2019 in APB E005 | Datei |
| Übung | Tutorial: Hands-On ASP Tools | DS5, 17. Juni 2019 in APB E005 | |
| Vorlesung | ASP Solving I | DS5, 24. Juni 2019 in APB E005 | Datei |
| Übung | Tutorial: ASP Solving | DS5, 1. Juli 2019 in APB E005 | Datei |
| Vorlesung | ASP Solving II and Q&A | DS5, 8. Juli 2019 in APB E005 |
Kalender
