19. ICCL Sommerschule
Die 19. ICCL Sommerschule Bridging the Gap between Human and Automated Reasoning wurde an der TU Dresden vom 10.-23. September 2017 durchgeführt. Die Sommerschule wurde vom DAAD gefördert.
Ulrich Furbach, Univ. Koblenz-Landau: Automated Reasoning
Ulrich Furbach and Claudia Schon, Univ. Koblenz-Landau: Tableau Calculi and Applications
Sarah Gaggl, TU Dresden: Abstract Argumentation -- Reasoning, Expressiveness and its Relation to Answer Set Programming
Steffen Hölldobler and Emmanuelle-Anna Dietz, TU Dresden: Logic
Steffen Hölldobler and Emmanuelle-Anna Dietz, TU Dresden: A New Cognitive Theory: The Weak Completion Semantics
Niki Pfeifer, LMU München: Reasoning under Uncertainty
Marco Ragni, Univ. of Freiburg: Cognitive Science
Uwe Scheffler, TU Dresden: Human Reasoning vs Automated Reasoning -- What is Classical Logic About
![Dinner Somerschule 2017](https://tu-dresden.de/ing/informatik/ki/krr/ressourcen/bilder/DinnerSummerSchool2017.jpeg/@@images/9be45834-486c-4fae-ab1e-598027762e03.jpeg)
Dinner