16th ICCL Summer School

The 16th ICCL summer school on Computational Logic and its Applications was held at Hue University's College of Education in Hue, Vietnam, Aug 17 - 30, 2014. It was supported by the DAAD.

Ulrich Furbach, Univ. Koblenz-Landau: Tableau Calculi and Applications

Steffen Hölldobler, TU Dredsen: SAT Solving and Applications

Ngô Thành Long, Le Quy Don University, Vietnam: An Approach to hybrid fuzzy clustering for data classification: genetic multiple kernels intervals type-2 fuzzy clusterings

Josef Schneeberger, FH Deggendorf: Combining Transformational and Logic Programming

Yohanes Stefanus, Univ. Indonesia at Jakarta, Indonesia: Lambda Calculus and Combinatory Logic

Anni-Yasmin Turhan, TU Dresden: Reasoning in Description Logics