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 October 14, 2018

Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference

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:

Members and Guests

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

David Carral
Reasoning with Description Logics Ontologies and Knowledge Graphs
Invited Talk at Télécom ParisTech, December 2018
Details

David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 2018
Details Download

View full publication list

NEWS

October 14, 2018

Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference

July 8, 2018

Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation

June 26, 2018

Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation

January 24, 2018

Applications for the course ""International MSc Program in Computational Logic" are possible until 31 May / 15 July 2018

November 27, 2017

Sebastian Rudolph receives ERC Consolidator Grant

… weitere Ergebnisse

iCal

EVENTS

January 10, 2019

Talk: Towards Privacy-Preserving Ontology Publishing