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:
- 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
Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), to appear
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download
Bartosz Bednarczyk
One-Variable Logic Meets Presburger Arithmetic
Theoretical Computer Science, 802(141-146), January 2020
Details
NEWS
December 3, 2019October 30, 2019Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference
October 16, 2019New Member: Dipl.-Inf Elisa Böhl
September 25, 2019Reasoning Web Summer School 2019 successfully held in Bolzano
September 21, 2019Vice World Champion in the AI Birds Challenge!
... further resultsEVENTS
January 30, 2020Talk: Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain
February 27, 2020
