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


Neueste Publikationen

Bartosz Bednarczyk, Emanuel Kieroński
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), CEUR Workshop Proceedings, to appear. CEUR-WS.org
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
Jana Klimpke, Sebastian Rudolph
Visualization of Statistical Information in Concept Lattice Diagrams
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Proceedings of the 16th International Conference on Formal Concept Analysis, volume 12733 of LNCS, 208-223, 2021. Springer
Details Download
Komplette Publikationsliste anzeigen