Deduction Systems (SS2018): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 104: | Zeile 104: | ||
|Date=2018/07/02 | |Date=2018/07/02 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Deduction-Systems-2018-V06-ASP-Solving.pdf, | |Download=Deduction-Systems-2018-V06-ASP-Solving.pdf, | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 119: | Zeile 119: | ||
|Date=2018/07/16 | |Date=2018/07/16 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=DS-2018-T5-ASPSolving.pdf, | |||
}} | }} | ||
Version vom 16. Juli 2018, 10:38 Uhr
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
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
