18. ICCL Sommerschule
Die 18. ICCL Sommerschule Computational Logic wurde am King Mongut's Institute of Technology, Ladkrabang, Thailand, vom 17.-30. Juli 2016 durchgeführt. Sie wurde unterstützt vom 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
