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


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