Deduction Systems
Aus International Center for Computational Logic
Deduction Systems
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in SS 2020
Dozent
Tutor
Umfang (SWS)
- 1/1/0
Module
Leistungskontrolle
- Klausur
- Mündliche Prüfung
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, 6. April 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | Tutorial: Description Logics | DS5, 20. April 2020 in APB E005 | Datei |
| Vorlesung | Tableaux 1 | DS5, 27. April 2020 in APB E005 | Datei 1, Datei 2, Datei 3 |
| Vorlesung | Tableaux 2 | DS5, 4. Mai 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | Tutorial: Tablaux | DS5, 11. Mai 2020 in APB E005 | Datei |
| Vorlesung | Tableaux Optimizations | DS5, 18. Mai 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | Tutorial: Tableaux II | DS5, 25. Mai 2020 in APB E005 | |
| Übung | Tutorial: Tableaux II Ctd. | DS5, 8. Juni 2020 in APB E005 | |
| Vorlesung | Answer Set Programming – Basics | DS5, 15. Juni 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | ASP: Hands-on Tools | DS5, 22. Juni 2020 in APB E005 | |
| Vorlesung | Answer Set Programming – Solving (1/2) | DS5, 29. Juni 2020 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Answer Set Programming – Solving (2/2) | DS5, 6. Juli 2020 in APB E005 | Datei |
| Übung | ASP Solving | DS5, 13. Juli 2020 in APB E005 | Datei |
Kalender
