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


Newest Publications

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
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
Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), 2023
Details Download
Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds., Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 271--278, September 2023. IOS Press
Details Download
View full publication list