Deduction Systems (SS2019): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (11 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 6: | Zeile 6: | ||
|Term=SS | |Term=SS | ||
|Year=2019 | |Year=2019 | ||
|Lecture series=Deduction Systems | |||
|Module=MCL-ILS, INF-BAS2 | |Module=MCL-ILS, INF-BAS2 | ||
|SWSLecture=1 | |SWSLecture=1 | ||
| Zeile 20: | Zeile 21: | ||
|Date=2019/04/08 | |Date=2019/04/08 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-L1-DL-Intro.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 27: | Zeile 29: | ||
|Date=2019/04/15 | |Date=2019/04/15 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-T1.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 34: | Zeile 37: | ||
|Date=2019/04/29 | |Date=2019/04/29 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-L1-Tableau-I.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 41: | Zeile 45: | ||
|Date=2019/05/06 | |Date=2019/05/06 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS SS19 L2.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
|Lehrveranstaltungstype=Übung | |Lehrveranstaltungstype=Übung | ||
|Title=Tutorial: Tableau II | |Title=Tutorial: Tableau I&II | ||
|Room=APB E005 | |Room=APB E005 | ||
|Date=2019/05/13 | |Date=2019/05/13 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-T2.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 55: | Zeile 61: | ||
|Date=2019/05/20 | |Date=2019/05/20 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-L4-Optimization.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 62: | Zeile 69: | ||
|Date=2019/05/27 | |Date=2019/05/27 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=Pizza.zip,DS-2019-HermiT.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 69: | Zeile 77: | ||
|Date=2019/06/03 | |Date=2019/06/03 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-L5-ASP-Intro.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 83: | Zeile 92: | ||
|Date=2019/06/24 | |Date=2019/06/24 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=Deduction-Systems-2018-V06-ASP-Solving.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 90: | Zeile 100: | ||
|Date=2019/07/01 | |Date=2019/07/01 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=DS-2019-T5.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
Aktuelle Version vom 27. Oktober 2020, 13:25 Uhr
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
