International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

EbD-rightmargin.png

                  

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:


Mitarbeiter und Gäste

Portrait Karina AdlerPortrait Lukas GerlachPortrait Matthias MeißnerPortrait Stephan MennickePortrait Dörthe ArndtPortrait Kerstin AchtruthPortrait Christel BaierPortrait Tim LyonPortrait Bartosz BednarczykPortrait Kati DomannPortrait Maximilian MarxPortrait Alex IvlievPortrait Pascal KettmannPortrait Filippo De BortoliPortrait Piotr Ostropolski-NalewajaPortrait Luisa HerrmannPortrait Sarah Alice GagglPortrait Martin DillerPortrait Sebastian RudolphPortrait Sascha KlüppelholzPortrait Rajab AghamovPortrait Sandy SeifarthPortrait Philipp HanischPortrait Dominik RusovacPortrait Ramona BehlingPortrait Simon KnäuerPortrait Larry GonzálezPortrait Piotr GorczycaPortrait Jonas KargePortrait Manuel BodirskyPortrait Hannes StraßPortrait Franz BaaderPortrait Markus KrötzschPortrait Knut BerlingPortrait Sergei ObiedkovPortrait Stefan BorgwardtPortrait Elisa BöhlPortrait Stefan Ellmauthaler


Neueste Publikationen

Daniil Kosakin, Sergei Obiedkov, Ekaterina Rakhilina, Ivan Smirnov, Anastasia Vyrenkova, Ekaterina Zalivina
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian
In Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue, eds., Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 14240-14258, May 2024. ELRA and ICCL
Details Download
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), 2024. ijcai.org
Details Download
Piotr Ostropolski-Nalewaja, Tim Lyon
Decidability of Quasi-Dense Modal Logics
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024. ACM
Details Download
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 Download
Komplette Publikationsliste anzeigen