# 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

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