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

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

Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.

Subscribe to events of this course (icalendar)

Lecture Introduction to Description Logics DS5, April 6, 2020 in APB E005 Download Download
Exercise Tutorial: Description Logics DS5, April 20, 2020 in APB E005 Download
Lecture Tableaux 1 DS5, April 27, 2020 in APB E005 Download Download Download
Lecture Tableaux 2 DS5, May 4, 2020 in APB E005 Download Download
Exercise Tutorial: Tablaux DS5, May 11, 2020 in APB E005 Download
Lecture Tableaux Optimizations DS5, May 18, 2020 in APB E005 Download Download
Exercise Tutorial:: Tableaux II DS5, May 25, 2020 in APB E005


Calendar