Deduction Systems
From International Center for Computational Logic
Deduction Systems
Lecture series
Students will be introduced to the design and use of various deduction systems: Tableaux-Prover and Answer Set Programming.
Courses
- Deduction Systems (SS 2020, Sebastian Rudolph)
- Deduction Systems (SS 2019, Sebastian Rudolph)
- Deduction Systems (SS 2018, Markus Krötzsch)
- Deduction Systems (SS 2017, Sebastian Rudolph)
- Deduction Systems (SS 2016, Sebastian Rudolph)
- Deduction Systems (SS 2015, Sebastian Rudolph)
