Deduction Systems

From International Center for Computational Logic

Deduction Systems

Course with SWS 1/1/0 (lecture/exercise/practical) in SS 2019

Lecturer

Tutor

SWS

  • 1/1/0

Modules

Examination method

  • Written exam

Lecture series


Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.
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 8, 2019 in APB E005 File
Exercise Tutorial: Description Logics DS5, April 15, 2019 in APB E005 File
Lecture Tableau I DS5, April 29, 2019 in APB E005 File
Lecture Tableau II DS5, May 6, 2019 in APB E005 File
Exercise Tutorial: Tableau I&II DS5, May 13, 2019 in APB E005 File
Lecture Tableau Optimizations DS5, May 20, 2019 in APB E005 File
Exercise Tutorial: Hands-On Tools DS5, May 27, 2019 in APB E005 File 1 File 2
Lecture Introduction to Answer-Set Programming DS5, June 3, 2019 in APB E005 File
Exercise Tutorial: Hands-On ASP Tools DS5, June 17, 2019 in APB E005
Lecture ASP Solving I DS5, June 24, 2019 in APB E005 File
Exercise Tutorial: ASP Solving DS5, July 1, 2019 in APB E005 File
Lecture ASP Solving II and Q&A DS5, July 8, 2019 in APB E005


Calendar