17. ICCL Sommerschule
Die 17. ICCL Sommerschule Reasoning wurde an der TU Dresden vom 6. - 20. September 2015 durchgeführt. Sie wurde vom DAAD gefördert
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