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 http://computational-logic.org/. The following research groups are already present here on the new site:


Members and Guests

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

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