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

People at the International Center for Computational Logic

Newest Publications

David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020

Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
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), September 2020

View full publication list