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


Newest Publications

Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear
Details
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
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
View full publication list