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


Neueste Publikationen

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
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
Komplette Publikationsliste anzeigen