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 Kati DomannPortrait Matthias MeißnerPortrait Martin DillerPortrait Stefan BorgwardtPortrait Bartosz BednarczykPortrait Filippo De BortoliPortrait Sandy SeifarthPortrait Simon KnäuerPortrait Dörthe ArndtPortrait Lukas GerlachPortrait Knut BerlingPortrait Sarah Alice GagglPortrait Sebastian RudolphPortrait Rajab AghamovPortrait Sergei ObiedkovPortrait Luisa HerrmannPortrait Tim LyonPortrait Hannes StraßPortrait Satyadharma TirtarasaPortrait Christel BaierPortrait Jonas KargePortrait Franz BaaderPortrait Manuel BodirskyPortrait Sascha KlüppelholzPortrait Piotr Ostropolski-NalewajaPortrait Pascal KettmannPortrait Stephan MennickePortrait Piotr GorczycaPortrait Ramona BehlingPortrait Markus KrötzschPortrait Alex IvlievPortrait Philipp HanischPortrait Maximilian MarxPortrait Kerstin AchtruthPortrait Larry GonzálezPortrait Stefan EllmauthalerPortrait Dominik RusovacPortrait Anni-Yasmin TurhanPortrait Elisa Böhl


Newest Publications

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24), to appear. ACM
Details Download
Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
In Aniello Murano, Alexandra Silva, eds., CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, volume 288 of LIPIcs, 33:1-33:19, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 1-28, February 2024
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, to appear
Details Download
View full publication list