International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

EbD-rightmargin.png

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:


Mitarbeiter und Gäste

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


Neueste Publikationen

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation
Proceedings of the 4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle, eds., Technical Communication Proceeding of the 38th International Conference on Logic Programming (ICLP 2022), volume 364 of EPTCS, 181-184, 2022. Open Publishing Association
Details
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
In Luc De Raedt, eds., Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2634--2640, 2022. ijcai.org
Details Download
Bartosz Bednarczyk, Stéphane Demri
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Logical Methods in Computer Science, Volume 18, Issue 3(5), July 2022
Details
Komplette Publikationsliste anzeigen