18th ICCL Summer School
The 18th ICCL Summer School on Computational Logic was held at the King Mongut's Institute of Technology, Ladkrabang, Thailand, July 17-30, 2016. It was supported by the DAAD.
Ulrich Furbach, 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, Emmanuelle-Anna Dietz, TU Dresden: A New Cognitive Theory -- The Weak Completion Semantics
Sebastian Rudolph, TU Dresden: Existential Rules
Josef Schneeberger, FH Deggendorf: Combining Transformational and Logic Programming
Anni Jasmin Turhan, TU Dresden: A Relaxed Introduction to Description Logics
