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, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:
- Algebra and Discrete Structures
- Automata Theory
- Computational Logic
- Logic Programming and Argumentation
- Verification and formal quantitative Analysis
- Knowledge-Based Systems
Members and Guests
Newest Publications
Statistical EL is ExpTime-complete
Information Processing Letters, to appear
Details Download
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), to appear
Details Download
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), to appear
Details
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, to appear
Details Download
NEWS
January 22, 2021January 14, 2021January 7, 2021New Member: Stefan Ellmauthaler
December 17, 2020December 16, 2020... further resultsEVENTS
March 18, 2021Talk: Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
March 25, 2021Talk: "Most of" leads to undecidability: Failure of adding frequencies to LTL.
April 1, 2021Talk: Using Datalog to Ground ASP Programs
April 8, 2021Talk: Detecting Non-Existence of Finite Universal Models for Existential Rules
May 6, 2021Talk: Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment