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


Neueste Publikationen

Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes K. Fichte
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Proceedings of KR 2024, to appear
Details
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, to appear
Details
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
Komplette Publikationsliste anzeigen