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

People at the International Center for Computational Logic


Newest Publications

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download

Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download

View full publication list