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


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