Deduction Systems
From International Center for Computational Logic
Deduction Systems
Course with SWS 1/1/0 (lecture/exercise/practical) in SS 2019
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.
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 | DS5, April 8, 2019 in APB E005 | File |
| Exercise | Tutorial: Description Logics | DS5, April 15, 2019 in APB E005 | File |
| Lecture | Tableau I | DS5, April 29, 2019 in APB E005 | File |
| Lecture | Tableau II | DS5, May 6, 2019 in APB E005 | File |
| Exercise | Tutorial: Tableau I&II | DS5, May 13, 2019 in APB E005 | File |
| Lecture | Tableau Optimizations | DS5, May 20, 2019 in APB E005 | File |
| Exercise | Tutorial: Hands-On Tools | DS5, May 27, 2019 in APB E005 | File 1, File 2 |
| Lecture | Introduction to Answer-Set Programming | DS5, June 3, 2019 in APB E005 | File |
| Exercise | Tutorial: Hands-On ASP Tools | DS5, June 17, 2019 in APB E005 | |
| Lecture | ASP Solving I | DS5, June 24, 2019 in APB E005 | File |
| Exercise | Tutorial: ASP Solving | DS5, July 1, 2019 in APB E005 | File |
| Lecture | ASP Solving II and Q&A | DS5, July 8, 2019 in APB E005 |
Calendar
