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


Neueste Publikationen

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
IJCAI 2024, to appear
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
Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear
Details
Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), to appear
Details
Komplette Publikationsliste anzeigen