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


Newest Publications

Tim Lyon
A Framework for Intuitionistic Grammar Logics
In Pietro Baroni, Christoph Benzmüller, Yὶ N. Wang, eds., Logic and Argumentation, volume 13040, 495-503, October 2021. Springer International Publishing
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
Naive-based Semantics for Abstract Dialectical Frameworks: Decomposition and Complexity
Journal of Artificial Intelligence Research, 70:1--64, 2021
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
View full publication list