Deduction Systems
From International Center for Computational Logic
Deduction Systems
Course with SWS 1/1/0 (lecture/exercise/practical) in SS 2018
Lecturer
Tutor
SWS
- 1/1/0
Modules
Examination method
- Oral 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 | Introduction to Description Logics (1) | DS3, April 9, 2018 in APB E005 | File |
| Lecture | Introduction to Description Logics (2) | DS3, April 16, 2018 in APB E005 | |
| Exercise | Tutorial: Description Logics | DS3, April 23, 2018 in APB E005 | File |
| Lecture | Tableau (1) | DS3, April 30, 2018 in APB E005 | File |
| Exercise | Tableau (1) | DS3, May 7, 2018 in APB E005 | File |
| Lecture | Tableau (2) | DS3, May 14, 2018 in APB E005 | File |
| Exercise | Tableau (2) | DS3, May 28, 2018 in APB E005 | |
| Lecture | Tableau Optimizations | DS3, June 4, 2018 in APB E005 | File |
| Exercise | Hands-On Tools | DS3, June 11, 2018 in APB E005 | File 1, File 2 |
| Lecture | Introduction to Answer-Set Programming | DS3, June 18, 2018 in APB E005 | File |
| Exercise | Hands-On Answer-Set Programming Tools | DS3, June 25, 2018 in APB E005 | |
| Lecture | ASP Solving | DS3, July 2, 2018 in APB E005 | File |
| Lecture | QA Session | DS3, July 9, 2018 in APB E005 | |
| Exercise | ASP Solving & QA Session | DS3, July 16, 2018 in APB E005 | File |
Calendar
