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


Newest Publications

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
Jonas Karge
A Modified Supervaluationist Framework for Decision-Making
Logos & Episteme, 7(2):175-191, June 2021
Details Download
View full publication list