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


Newest Publications

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), to appear
Details
Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, volume 14, 943-956, 2021
Details Download
Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021. Springer International Publishing
Details Download
View full publication list