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

People at the International Center for Computational Logic

Newest Publications

David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, July 2020.
Details Download

Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony Cohn
Modelling the Polysemy of Spatial Prepositions in Referring Expressions
Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20), to appear
Details Download

Bartosz Bednarczyk, Piotr Witkowski
A note on C2 interpreted over finite data-words
27th International Symposium on Temporal Representation and Reasoning (TIME 2020), to appear

View full publication list