International Center for Computational Logic

From International Center for Computational Logic

International Center for Computational Logic

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003.

This is the new website of ICCL, first published in October 2014. Some previous content has not been moved yet and can be found under The following research groups are already present here on the new site:

Members and Guests

Portrait Sascha KlüppelholzPortrait Martin DillerPortrait Lukas SchweizerPortrait Sylvia WünschPortrait Johannes FichtePortrait Philipp HanischPortrait Irina DragostePortrait Ilja ShmelkinPortrait Marcos CramerPortrait Franz BaaderPortrait Kati DomannPortrait Bartosz BednarczykPortrait Sebastian RudolphPortrait Christel BaierPortrait Patrick KoopmannPortrait Tobias PhilippPortrait Faiq Miftakhul FalakhPortrait Elisa BöhlPortrait Sandy SeifarthPortrait Andreas EckePortrait Larry GonzálezPortrait David CarralPortrait Alexander ShmelkinPortrait Stephan MennickePortrait Satyadharma TirtarasaPortrait Maximilian MarxPortrait Ramona BehlingPortrait Manuel BodirskyPortrait Lucía Gómez ÁlvarezPortrait Stefan BorgwardtPortrait Steffen HölldoblerPortrait Thomas FellerPortrait Christian LewePortrait Ali ElhalawatiPortrait Sarah Alice GagglPortrait Markus KrötzschPortrait Anni-Yasmin TurhanPortrait Kerstin AchtruthPortrait Shima AsaadiPortrait Alexander Krause

People at the International Center for Computational Logic

Newest Publications

Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, to appear
Details Download

Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., to appear
Details Download

View full publication list