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

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