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

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 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details

View full publication list