International Center for Computational Logic

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


International Center for Computational Logic

EbD-rightmargin.png

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:


Mitarbeiter und Gäste

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


Neueste Publikationen

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
Komplette Publikationsliste anzeigen