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

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, November 2019
Details Download

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details

Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details

View full publication list