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 The following research groups are already present here on the new site:

Members and Guests

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

People at the International Center for Computational Logic

Newest Publications

Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), to appear

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

View full publication list