20. ICCL Sommerschule 'Computational Logic'
The 20th ICCL summer school on 'Computational Logic' was held at the Mongolian University of Science and Technology in Ulaanbaatar, Mongolia, from Aug 19-31, 2019. It was supported by the DAAD.
Ulrich Furbach (Univ. Koblenz-Landau): Automated and Cognitive Reasoning for Question Answering
Steffen Hölldobler and Emmanuelle-Anna Dietz Saldanha (Technische Universität Dresden): Logic
Steffen Hölldobler and Emmanuelle-Anna Dietz Saldanha (Technische Universität Dresden): A New Cognitive Theory: The Weak Completion Semantics
Marco Ragni (Albert-Ludwigs-Universität Freiburg): Cognitive Computational Models of Human Thinking and Reasoning
Josef Schneeberger (Technische Hochschule Deggendorf): Answer Set Programming for Timetabling Applications
Anni-Jasmin Turhan (Technische Universität Dresden): Description Logics
Uli and Steffen in Ulaanbaatar