Deduction Systems
From International Center for Computational Logic
Deduction Systems
Course with SWS 1/1/0 (lecture/exercise/practical) in SS 2017
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 5, 2017 in APB E005 | File |
| Lecture | Tableau I | DS6, April 12, 2017 in APB E005 | File |
| Lecture | Tableau II | DS6, April 26, 2017 in APB E005 | File |
| Exercise | Tableau | DS6, May 3, 2017 in APB E005 | File |
| Lecture | Optimizations for Tableau | DS6, May 10, 2017 in APB E005 | File |
| Exercise | OWL Modeling and Reasoning using Protege and HermiT | DS6, May 24, 2017 in APB E005 | File 1, File 2 |
| Lecture | ASP Solving I | DS6, May 31, 2017 in APB E005 | File |
| Lecture | ASP Solving II | DS6, June 14, 2017 in APB E005 | File |
| Exercise | ASP Solving | DS6, June 21, 2017 in APB E005 | File |
| Exercise | ASP Tools | DS6, June 28, 2017 in APB E005 | |
| Lecture | Q&A | DS6, July 5, 2017 in APB E005 |
Calendar
