International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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

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. ijcai.org
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
Details

View full publication list