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


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