Deduction Systems

From International Center for Computational Logic

Deduction Systems

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

Lecturer

Tutor

SWS

  • 1/1/0

Modules

Examination method

  • Oral exam
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 (1) DS3, April 9, 2018 in APB E005 Download
Lecture Introduction to Description Logics (2) DS3, April 16, 2018 in APB E005
Exercise Tutorial: Description Logics DS3, April 23, 2018 in APB E005 Download
Lecture Tableau (1) DS3, April 30, 2018 in APB E005 Download
Exercise Tableau (1) DS3, May 7, 2018 in APB E005 Download
Lecture Tableau (2) DS3, May 14, 2018 in APB E005 Download
Exercise Tableau (2) DS3, May 28, 2018 in APB E005
Lecture Tableau Optimizations DS3, June 4, 2018 in APB E005 Download
Exercise Hands-On Tools DS3, June 11, 2018 in APB E005 Download Download
Lecture Introduction to Answer-Set Programming DS3, June 18, 2018 in APB E005 Download
Exercise Hands-On Answer-Set Programming Tools DS3, June 25, 2018 in APB E005
Lecture ASP Solving DS3, July 2, 2018 in APB E005 Download
Lecture QA Session DS3, July 9, 2018 in APB E005
Exercise ASP Solving & QA Session DS3, July 16, 2018 in APB E005 Download


Calendar

Lade …