International Center for Computational Logic
Aus 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
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
Details Download
Bartosz Bednarczyk, Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
Proceedings of the 28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), to appear
Details Download
Bartosz Bednarczyk, Reijo Jaakkola
Towards Model Theory of Ordered Logics: Expressivity and Interpolation
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, to appear
Details
Bartosz Bednarczyk, Mateusz Urbanczyk
Comonadic Semantics for Description Logics Games
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), to appear
Details
NEUIGKEITEN
13. Juni 2022Neue offene Stelle: Projektkoordinator/in
12. Juni 20228. Internationale Sommerschule über KI und Big Data
2. Juni 2022Offene Postdoc-Stelle am Lehrstuhl für Wissensbasierte Systeme
19. Mai 2022TU Dresden errichtet School of AI mit dem ICCL
6. Mai 2022ICCL-Forscher tragen zu Top-Konferenzen bei
… weitere Ergebnisse