Deduction Systems

Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in SS 2020

Dozent

Sebastian Rudolph

Tutor

Lukas Schweizer

Umfang (SWS)

1/1/0

Module

Leistungskontrolle

Klausur
Mündliche Prüfung

Vorlesungsreihe

Deduction Systems

Information
Termine und Unterlagen

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.

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, 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