International Center for Computational Logic

Welcome to the

Dresden's new home for knowledge technologies and computational logic.
Our groups

Research groups introduced:

Verification and formal quantitative Analysis

Christel Baier

The research of the Verification and formal quantitative Analysis group mainly focuses on modeling, specification and verification of reactive systems as well as quantitative analysis of stochastic systems and probabilistic model checking. Other… read on

News of September 18, 2020

AI Young Investigator Group for Sarah Gaggl

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, 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:

• Automata Theory
• Computational Logic
• Logic Programming and Argumentation
• Verification and formal quantitative Analysis
• Knowledge-Based Systems
• Knowledge Representation and Reasoning

Members and Guests

People at the International Center for Computational Logic

Newest Publications

Bartosz Bednarczyk, Piotr Witkowski
A note on C2 interpreted over finite data-words
27th International Symposium on Temporal Representation and Reasoning (TIME 2020), September 2020
Details

David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details

View full publication list

NEWS

September 18, 2020

AI Young Investigator Group for Sarah Gaggl

July 22, 2020

Research Ouput on 2020

May 1, 2020

New Member: Dr. Stephan Mennicke

April 13, 2020

New Member: Dr. Lucía Gómez Álvarez

March 22, 2020

Teaching, Examinations, and Learning During the COVID-19 Pandemic

… weitere Ergebnisse

iCal

EVENTS

November 5, 2020

Talk: Positivity-Hardness and Saturation Points in Markov Decision Processes