Deduction Systems

From International Center for Computational Logic

Deduction Systems

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

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.

Subscribe to events of this course (icalendar)

Lecture Recap Description Logics DS4, April 16, 2015 in APB E005 File
Exercise Tutorial: Description Logics DS4, April 23, 2015 in APB E005 File
Lecture Tableau Algorithm I DS4, April 30, 2015 in APB E005 File
Lecture Tableau Algorithm II DS4, May 7, 2015 in APB E005 File
Exercise Tutorial: Tableau DS4, May 21, 2015 in APB E005 File
Lecture Optimizations for Tableau DS4, June 4, 2015 in APB E005 File
Exercise Tutorial: Optimizations DS4, June 11, 2015 in APB E005 File
Lecture ASP Solving I DS4, June 18, 2015 in APB E005 File
Lecture ASP Solving II DS4, June 25, 2015 in APB E005 File
Exercise Tutorial: ASP Solving DS4, July 2, 2015 in APB 2026 File
Lecture OWL Modeling and Reasoning using Protege and HermiT DS4, July 9, 2015 in APB E005 File 1 File 2
Exercise Question and Answer Session DS4, July 16, 2015 in APB E005


Calendar