Deduction Systems (SS2020): 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=2020 |SWSLecture=1…“) |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (28 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
| Zeile 6: | Zeile 6: | ||
|Term=SS | |Term=SS | ||
|Year=2020 | |Year=2020 | ||
|Lecture series=Deduction Systems | |||
|Module=MCL-ILS, INF-BAS2 | |||
|SWSLecture=1 | |SWSLecture=1 | ||
|SWSExercise=1 | |SWSExercise=1 | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Klausur, mündliche Prüfung | |Exam type=Klausur, mündliche Prüfung | ||
|Description=Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming. | |Description=== Update == | ||
* For the tutorials (and maybe other live-/interactive sessions we will use the Jitsi session: https://jitsi.tu-dresden.de/DeductionSystems | |||
* More exercises online! | |||
<span style="color:red;">Due to the current COVID19 situation, this course will be held virtually until further notice. The content of the lecture will be made available as videos (i.e. slideshows with audio comments). The first upload will be within the first semester week (i.e. before easter). | |||
The format of the tutorials will be announced here shortly. | |||
</span> | |||
<span style="color:red;"> | |||
Students interested in participating in the lecture please register via: <br> | |||
https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23143514207 | |||
</span> | |||
<p style="font-family: MarketWeb,Yellowtail,'Comic Sans MS',sans-serif; font-weight: 400; font-size: 3rem;" | |||
>This is another paragraph.</p> | |||
Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming. | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Introduction to Description Logics | |||
|Room=APB E005 | |||
|Date=2020/04/06 | |||
|DS=DS5 | |||
|Download=DS-2020-L1-DL-Intro.pdf,DS-2020-L1-DL-Intro-script.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Description Logics | |||
|Room=APB E005 | |||
|Date=2020/04/20 | |||
|DS=DS5 | |||
|Download=DS-2020-T1.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Tableaux 1 | |||
|Room=APB E005 | |||
|Date=2020/04/27 | |||
|DS=DS5 | |||
|Download=DS2020-L2-Tableau1.pdf,DS2020-L2-Tableau1-1.mkv,DS2020-L2-Tableau1-2.mkv | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Tablaux | |||
|Room=APB E005 | |||
|Date=2020/05/11 | |||
|DS=DS5 | |||
|Download=DS-2020-T2.pdf | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Tableaux 2 | |||
|Room=APB E005 | |||
|Date=2020/05/04 | |||
|DS=DS5 | |||
|Download=DS2020-L3-Tableau2.pdf,DS2020-L3-Tableau2.mkv | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Tableaux Optimizations | |||
|Room=APB E005 | |||
|Date=2020/05/18 | |||
|DS=DS5 | |||
|Download=DS2020-L4-Optimizations.pdf,DS2020-L4-Optimizations.mkv | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Tableaux II | |||
|Room=APB E005 | |||
|Date=2020/05/25 | |||
|DS=DS5 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial: Tableaux II Ctd. | |||
|Room=APB E005 | |||
|Date=2020/06/08 | |||
|DS=DS5 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Answer Set Programming – Basics | |||
|Room=APB E005 | |||
|Date=2020/06/15 | |||
|DS=DS5 | |||
|Download=DS-2020-L5-ASP-Basics.pdf,DS-2020-L5-ASP-Basics.mkv | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=ASP: Hands-on Tools | |||
|Room=APB E005 | |||
|Date=2020/06/22 | |||
|DS=DS5 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Answer Set Programming – Solving (1/2) | |||
|Room=APB E005 | |||
|Date=2020/06/29 | |||
|DS=DS5 | |||
|Download=DS-2020-L6-ASP-Solving.pdf,DS-2020-L6-ASP-Solving1.mkv | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Answer Set Programming – Solving (2/2) | |||
|Room=APB E005 | |||
|Date=2020/07/06 | |||
|DS=DS5 | |||
|Download=DS-2020-L6-ASP-Solving2.mkv | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=ASP Solving | |||
|Room=APB E005 | |||
|Date=2020/07/13 | |||
|DS=DS5 | |||
|Download=DS-2020-T4-ASPSolving.pdf | |||
}} | }} | ||
Aktuelle Version vom 3. Februar 2021, 22:14 Uhr
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
Vorlesungsreihe
Update
- For the tutorials (and maybe other live-/interactive sessions we will use the Jitsi session: https://jitsi.tu-dresden.de/DeductionSystems
- More exercises online!
Due to the current COVID19 situation, this course will be held virtually until further notice. The content of the lecture will be made available as videos (i.e. slideshows with audio comments). The first upload will be within the first semester week (i.e. before easter). The format of the tutorials will be announced here shortly.
Students interested in participating in the lecture please register via:
https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23143514207
This is another paragraph.
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
