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


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), 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
Bartosz Bednarczyk
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.
Logical Methods in Computer Science, 20(2):7:1–7:31, May 2024
Details Download
View full publication list