International Center for Computational Logic

Welcome to the

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

Research groups introduced:

Automata Theory

Franz Baader

News of October 30, 2019

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:

• Automata Theory
• Computational Logic
• 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

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, November 2019
Details Download

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details

Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details

View full publication list

NEWS

October 30, 2019

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

October 16, 2019

New Member: Dipl.-Inf Elisa Böhl

September 25, 2019

Reasoning Web Summer School 2019 successfully held in Bolzano

September 21, 2019

Vice World Champion in the AI Birds Challenge!

September 3, 2019

Markus Krötzsch delivers a course at the EDBT Summer School

... further results

iCal

EVENTS

November 21, 2019

Talk: A diamond in the rough: Theorizing column stores

November 28, 2019

Talk: TE-ETH: Lower Bounds for QBFs of Bounded Treewidth

December 12, 2019

Talk: Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy

December 19, 2019

Talk: SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability