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

People at the International Center for Computational Logic

Newest Publications

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

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
This tutorial will be presented at the 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020
Details Download

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

View full publication list