Deduction Systems (SS2019): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Deduction Systems |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Lukas Schweizer |Term=SS |Year=2019 |Module=MCL-I…“) |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (12 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 19: | Zeile 20: | ||
|Room=APB E005 | |Room=APB E005 | ||
|Date=2019/04/08 | |Date=2019/04/08 | ||
|DS=DS5 | |||
|Download=DS-2019-L1-DL-Intro.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Description Logics | |||
|Room=APB E005 | |||
|Date=2019/04/15 | |||
|DS=DS5 | |||
|Download=DS-2019-T1.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Tableau I | |||
|Room=APB E005 | |||
|Date=2019/04/29 | |||
|DS=DS5 | |||
|Download=DS-2019-L1-Tableau-I.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Tableau II | |||
|Room=APB E005 | |||
|Date=2019/05/06 | |||
|DS=DS5 | |||
|Download=DS SS19 L2.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Tableau I&II | |||
|Room=APB E005 | |||
|Date=2019/05/13 | |||
|DS=DS5 | |||
|Download=DS-2019-T2.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Tableau Optimizations | |||
|Room=APB E005 | |||
|Date=2019/05/20 | |||
|DS=DS5 | |||
|Download=DS-2019-L4-Optimization.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Hands-On Tools | |||
|Room=APB E005 | |||
|Date=2019/05/27 | |||
|DS=DS5 | |||
|Download=Pizza.zip,DS-2019-HermiT.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Introduction to Answer-Set Programming | |||
|Room=APB E005 | |||
|Date=2019/06/03 | |||
|DS=DS5 | |||
|Download=DS-2019-L5-ASP-Intro.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Hands-On ASP Tools | |||
|Room=APB E005 | |||
|Date=2019/06/17 | |||
|DS=DS5 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=ASP Solving I | |||
|Room=APB E005 | |||
|Date=2019/06/24 | |||
|DS=DS5 | |||
|Download=Deduction-Systems-2018-V06-ASP-Solving.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: ASP Solving | |||
|Room=APB E005 | |||
|Date=2019/07/01 | |||
|DS=DS5 | |||
|Download=DS-2019-T5.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=ASP Solving II and Q&A | |||
|Room=APB E005 | |||
|Date=2019/07/08 | |||
|DS=DS5 | |DS=DS5 | ||
}} | }} | ||
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
