Deduction Systems

From International Center for Computational Logic

Deduction Systems

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

Lecturer

Tutor

SWS

  • 1/1/0

Modules

Examination method

  • Written 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 Recap Description Logics DS6, April 5, 2017 in APB E005 Download
Lecture Tableau I DS6, April 12, 2017 in APB E005 Download
Lecture Tableau II DS6, April 26, 2017 in APB E005 Download
Exercise Tableau DS6, May 3, 2017 in APB E005 Download
Lecture Optimizations for Tableau DS6, May 10, 2017 in APB E005 Download
Exercise OWL Modeling and Reasoning using Protege and HermiT DS6, May 24, 2017 in APB E005 Download Download
Lecture ASP Solving I DS6, May 31, 2017 in APB E005 Download
Lecture ASP Solving II DS6, June 14, 2017 in APB E005 Download
Exercise ASP Solving DS6, June 21, 2017 in APB E005 Download
Exercise ASP Tools DS6, June 28, 2017 in APB E005
Lecture Q&A DS6, July 5, 2017 in APB E005


Calendar