International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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


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