17th ICCL Summer School
The 17th ICCL Summer School on Reasoning was held at the TU Dresden, Sep 6-20, 2015. It was supported by the DAAD.
Franz Baader, TU Dresden: Term Rewriting Systems
Christel Baier, TU Dresden: Model Checking
Steffen Hölldobler, Emmanuelle-Anna Dietz, TU Dresden, Marco Ragni, Albert-Ludwigs Univ. Freiburg: Human Reasoning
Sarah Gaggl, TU Dresden: Abstract Argumentation -- Reasoning, Expressiveness and its Connection to Answer Set Programming
Steffen Hölldobler, Norbert Manthey, TU Dresden: SAT Solving
Markus Krötzsch, TU Dresden: OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
Sebastian Rudolph, TU Dresden: Query Answering under Existential Rules
Torsten Schaub, Univ. Potsdam: Answer Set Programming

Excursion