Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in SS 2018
Dozent
Tutor
Umfang (SWS)
- 1/1/0
Module
Leistungskontrolle
- Mündliche Prüfung
Vorlesungsreihe
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 (1) | DS3, 9. April 2018 in APB E005 | Datei |
| Vorlesung | Introduction to Description Logics (2) | DS3, 16. April 2018 in APB E005 | |
| Übung | Tutorial: Description Logics | DS3, 23. April 2018 in APB E005 | Datei |
| Vorlesung | Tableau (1) | DS3, 30. April 2018 in APB E005 | Datei |
| Übung | Tableau (1) | DS3, 7. Mai 2018 in APB E005 | Datei |
| Vorlesung | Tableau (2) | DS3, 14. Mai 2018 in APB E005 | Datei |
| Übung | Tableau (2) | DS3, 28. Mai 2018 in APB E005 | |
| Vorlesung | Tableau Optimizations | DS3, 4. Juni 2018 in APB E005 | Datei |
| Übung | Hands-On Tools | DS3, 11. Juni 2018 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Introduction to Answer-Set Programming | DS3, 18. Juni 2018 in APB E005 | Datei |
| Übung | Hands-On Answer-Set Programming Tools | DS3, 25. Juni 2018 in APB E005 | |
| Vorlesung | ASP Solving | DS3, 2. Juli 2018 in APB E005 | Datei |
| Vorlesung | QA Session | DS3, 9. Juli 2018 in APB E005 | |
| Übung | ASP Solving & QA Session | DS3, 16. Juli 2018 in APB E005 | Datei |
Kalender
