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


Neueste Publikationen

Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
Proceedings of KR 2024, to appear
Details Download
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
Komplette Publikationsliste anzeigen