Deduction Systems

From International Center for Computational Logic

Deduction Systems

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

Lecturer

Tutor

  • Sarah Alice Gaggl, Lukas Schweizer

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


Calendar