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


Newest Publications

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), May 2021. Springer International Publishing
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download
View full publication list