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 Franz Baader Portrait Lukas Schweizer Portrait Dagmar Gromann Portrait Adrian Bielefeldt Portrait Sylvia Wünsch Portrait Steffen Hölldobler Portrait Ilja Shmelkin Portrait Markus Krötzsch Portrait Johannes Fichte Portrait Alexander Krause Portrait Sarah Alice Gaggl Portrait Sebastian Rudolph Portrait Kerstin Achtruth Portrait Faiq Miftakhul Falakh Portrait Patrick Koopmann Portrait Sandy Seifarth Portrait Ramona Behling Portrait Christoph Wernhard Portrait Manuel Bodirsky Portrait Larry González Portrait Satyadharma Tirtarasa Portrait Sascha Klüppelholz Portrait Anni-Yasmin Turhan Portrait Stefan Borgwardt Portrait Andreas Ecke Portrait Maximilian Marx Portrait Shima Asaadi Portrait Tobias Philipp Portrait Christel Baier Portrait David Carral Portrait Irina Dragoste Portrait Emmanuelle Dietz Portrait Kati Michel

People at the International Center for Computational Logic


Newest Publications

Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
In Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl, eds., Proceedings of the 17th International Semantic Web Conference (ISWC'18), volume 11137 of LNCS, 376-394, 2018. Springer
Details Download

Markus Krötzsch
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

View full publication list