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


Newest Publications

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
In Pietro Baroni, Christoph Benzmüller, Yì N. Wán, eds., Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021), volume 13040 of LNCS, 147-168, 2021. Springer
Details Download
Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 1-49, August 2021
Details
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, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
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), 1-13, 2021. IEEE
Details Download
View full publication list