19th ICCL Summer School

The 19th ICCL Summer School on Bridging the Gap between Human and Automated Reasoning was held at TU Dresden Sep 10-23, 2017. It was supported by the DAAD. 

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