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


Newest Publications

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
View full publication list