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

People at the International Center for Computational Logic


Newest Publications

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

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

View full publication list