International Center for Computational Logic
Research groups introduced:
Computational Logic
Sebastian Rudolph
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, Piotr Witkowski
A note on C2 interpreted over finite data-words
27th International Symposium on Temporal Representation and Reasoning (TIME 2020), to appear
Details
Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti, Raul Fervari
Modal Logics with Composition on Finite Forests: Expressivity and Complexity
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), June 2020
Details
Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements
Semantic Web, 11(3):441-482, 2020
Details
NEWS
May 1, 2020New Member: Dr. Stephan Mennicke
April 13, 2020New Member: Dr. Lucía Gómez Álvarez
March 22, 2020Teaching, Examinations, and Learning During the COVID-19 Pandemic
December 3, 2019October 30, 2019Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference
... further results
