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


Newest Publications

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