Welcome to the

Dresden's new home for knowledge technologies and logic in computer science.
Our groups

Research groups introduced:

Algebra and Discrete Structures

Manuel Bodirsky

Research Group at the Institute of Algebra at the Faculty of Mathematics of TU Dresden. Fields of I… read on

News of May 17, 2021

Bartosz Bednarczyk wins the best student paper award at JELIA 2021

Learn more

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, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:

Members and Guests

People at the International Center for Computational Logic

Newest Publications

Tim Lyon
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Journal of Logic and Computation, 31(1):213-265, 2021
Details Download

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), to appear
Details

Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, volume 14, 943-956, 2021
Details Download

Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021. Springer International Publishing
Details Download

View full publication list