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 Stefan BorgwardtPortrait Christian LewePortrait Ramona BehlingPortrait Sascha KlüppelholzPortrait Simon KnäuerPortrait Maximilian MarxPortrait Tim LyonPortrait Thomas FellerPortrait Irina DragostePortrait Lukas SchweizerPortrait Satyadharma TirtarasaPortrait Patrick KoopmannPortrait Ali ElhalawatiPortrait Kati DomannPortrait Jonas KargePortrait Sebastian RudolphPortrait Dörthe ArndtPortrait Stephan MennickePortrait Sarah Alice GagglPortrait Johannes FichtePortrait Markus KrötzschPortrait Martin DillerPortrait Franz BaaderPortrait Bartosz BednarczykPortrait Anni-Yasmin TurhanPortrait Dominik RusovacPortrait Sandy SeifarthPortrait Lucía Gómez ÁlvarezPortrait Manuel BodirskyPortrait Piotr GorczycaPortrait Larry GonzálezPortrait Stefan EllmauthalerPortrait Philipp HanischPortrait Christel BaierPortrait Faiq Miftakhul FalakhPortrait Kerstin AchtruthPortrait Elisa Böhl


Newest Publications

Bartosz Bednarczyk
Statistical EL is ExpTime-complete
Information Processing Letters, to appear
Details Download
Bartosz Bednarczyk, Jakub Michaliszyn
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), to appear
Details Download
Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), to appear
Details
Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, to appear
Details Download
View full publication list