International Center for Computational Logic

From International Center for Computational Logic


International Center for Computational Logic

EbD-rightmargin.png

                  

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:


Members and Guests

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


Newest Publications

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
View full publication list