Deduction Systems

From International Center for Computational Logic

Deduction Systems

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

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 6, 2016 in APB E005 Download
Lecture Tableau Algorithm I DS6, April 13, 2016 in APB E005 Download
Lecture Tableau Algorithm II DS6, April 20, 2016 in APB E005 Download
Exercise Tutorial: Tableau DS6, May 4, 2016 in APB E005 Download
Lecture Optimizations for Tableau DS6, May 11, 2016 in APB E005 Download
Exercise Tutorial: Optimizations DS6, May 25, 2016 in APB E005 Download
Exercise OWL Modeling and Reasoning using Protege and HermiT DS6, June 8, 2016 in APB E005 Download Download
Lecture ASP Solving I DS6, June 15, 2016 in APB E005 Download Download
Lecture ASP Solving II DS6, June 22, 2016 in APB E005
Exercise Tutorial: ASP Solving DS6, June 29, 2016 in APB 2026 Download
Exercise Question and Answer Session DS6, July 6, 2016 in APB E005


Calendar