Deduction Systems (SS2018): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Term=SS | |Term=SS | ||
|Year=2018 | |Year=2018 | ||
|Lecture series=Deduction Systems | |||
|Module=MCL-ILS, INF-BAS2 | |Module=MCL-ILS, INF-BAS2 | ||
|SWSLecture=1 | |SWSLecture=1 | ||
| Zeile 19: | Zeile 20: | ||
|Date=2018/04/09 | |Date=2018/04/09 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Deduction-Systems-2018-V01-DL-Intro.pdf | |Download=Deduction-Systems-2018-V01-DL-Intro.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 34: | Zeile 35: | ||
|Date=2018/04/23 | |Date=2018/04/23 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=DS-2018-T1.pdf | |Download=DS-2018-T1.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 42: | Zeile 43: | ||
|Date=2018/04/30 | |Date=2018/04/30 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Deduction-Systems-2018-V02-Tableau1.pdf | |Download=Deduction-Systems-2018-V02-Tableau1.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 50: | Zeile 51: | ||
|Date=2018/05/07 | |Date=2018/05/07 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=DS-2018-T2.pdf | |Download=DS-2018-T2.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 58: | Zeile 59: | ||
|Date=2018/05/14 | |Date=2018/05/14 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Deduction-Systems-2018-V03-Tableau2.pdf | |Download=Deduction-Systems-2018-V03-Tableau2.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 73: | Zeile 74: | ||
|Date=2018/06/04 | |Date=2018/06/04 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Deduction-Systems-2018-V04-Optimizations.pdf | |Download=Deduction-Systems-2018-V04-Optimizations.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 81: | Zeile 82: | ||
|Date=2018/06/11 | |Date=2018/06/11 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Pizza.zip,DS-2018-HermiT.pdf | |Download=Pizza.zip,DS-2018-HermiT.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 89: | Zeile 90: | ||
|Date=2018/06/18 | |Date=2018/06/18 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=Deduction-Systems-2018-V05-ASP-Intro.pdf | |Download=Deduction-Systems-2018-V05-ASP-Intro.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 104: | Zeile 105: | ||
|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 120: | ||
|Date=2018/07/16 | |Date=2018/07/16 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=DS-2018-T5-ASPSolving.pdf | |Download=DS-2018-T5-ASPSolving.pdf | ||
}} | }} | ||
Aktuelle Version vom 26. Oktober 2020, 18:54 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
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
