International Center for Computational Logic
International Center for Computational Logic
Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:
- Algebra und Diskrete Strukturen
- Automatentheorie
- Computational Logic
- Logische Programmierung und Argumentation
- Verifikation und formale quantitative Analyse
- Wissensbasierte Systeme
Mitarbeiter und Gäste
Neueste Publikationen
"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), March 2021
Details Download
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details
Finite Model Theory of the Triguarded Fragment and Related Logics
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details
Statistical EL is ExpTime-complete
Information Processing Letters, 169C(106113), August 2021
Details Download
NEUIGKEITEN
3. April 2021ICCL mit gleich vier Papieren bei LICS 2021 vertreten
22. Januar 2021Neuer Mitarbeiter: Dominik Rusovac
14. Januar 20217. Januar 2021Neuer Mitarbeiter: Stefan Ellmauthaler
17. Dezember 2020… weitere ErgebnisseVERANSTALTUNGEN
22. April 2021Vortrag: A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
29. April 2021Vortrag: From Data to Knowledge: Extending Database Techniques for Knowledge Graphs
6. Mai 2021Vortrag: Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment