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