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
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, to appear. ijcai.org
Details Download
Franz Baader, Filippo De Bortoli
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC '24, 754-761, April 2024. ACM
Details Download
Bartosz Bednarczyk
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.
Logical Methods in Computer Science, to appear
Details
Bartosz Bednarczyk
Data Complexity in Expressive Description Logics With Path Expressions
Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, to appear. ijcai.org
Details
NEUIGKEITEN
19. April 2024Best Paper Award für Forschende des ICCL
18. April 2024Ankündigung: Themenvergabe für studentische Projekte
15. Januar 2024Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation
14. Januar 20248. Januar 2024Davide Di Pierro besucht die KBS-Gruppe
… weitere Ergebnisse