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
