16. ICCL Sommerschule

Die 16. ICCL Sommerschule Computational Logic and its Applications  wurde am Hue University's College of Education in Hue, Vietnam, vom 17.-30. August 2014 durchgeführt. Sie wurde vom DAAD unterstützt.

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