Deduction Systems
From International Center for Computational Logic
Deduction Systems
Course with SWS 1/1/0 (lecture/exercise/practical) in SS 2020
Lecturer
Tutor
SWS
- 1/1/0
Modules
Examination method
- Written exam
- Oral exam
Lecture series
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.
Subscribe to events of this course (icalendar)
| Lecture | Introduction to Description Logics | DS5, April 6, 2020 in APB E005 | File 1, File 2 |
| Exercise | Tutorial: Description Logics | DS5, April 20, 2020 in APB E005 | File |
| Lecture | Tableaux 1 | DS5, April 27, 2020 in APB E005 | File 1, File 2, File 3 |
| Lecture | Tableaux 2 | DS5, May 4, 2020 in APB E005 | File 1, File 2 |
| Exercise | Tutorial: Tablaux | DS5, May 11, 2020 in APB E005 | File |
| Lecture | Tableaux Optimizations | DS5, May 18, 2020 in APB E005 | File 1, File 2 |
| Exercise | Tutorial: Tableaux II | DS5, May 25, 2020 in APB E005 | |
| Exercise | Tutorial: Tableaux II Ctd. | DS5, June 8, 2020 in APB E005 | |
| Lecture | Answer Set Programming – Basics | DS5, June 15, 2020 in APB E005 | File 1, File 2 |
| Exercise | ASP: Hands-on Tools | DS5, June 22, 2020 in APB E005 | |
| Lecture | Answer Set Programming – Solving (1/2) | DS5, June 29, 2020 in APB E005 | File 1, File 2 |
| Lecture | Answer Set Programming – Solving (2/2) | DS5, July 6, 2020 in APB E005 | File |
| Exercise | ASP Solving | DS5, July 13, 2020 in APB E005 | File |
Calendar
