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