International Center for Computational Logic

From International Center for Computational Logic


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


Newest Publications

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
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), to appear
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
View full publication list