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

People at the International Center for Computational Logic

Newest Publications

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download

Bartosz Bednarczyk
One-Variable Logic Meets Presburger Arithmetic
Theoretical Computer Science, 802(141-146), January 2020

David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality
Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020), February 2020
Details Download

View full publication list