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 Lucía Gómez ÁlvarezPortrait Thomas FellerPortrait Elisa BöhlPortrait Lukas GerlachPortrait Kerstin AchtruthPortrait Simon KnäuerPortrait Philipp HanischPortrait Satyadharma TirtarasaPortrait Dominik RusovacPortrait Franz BaaderPortrait Piotr Ostropolski-NalewajaPortrait Kati DomannPortrait Sandy SeifarthPortrait Piotr GorczycaPortrait Hannes StraßPortrait Stephan MennickePortrait Dörthe ArndtPortrait Sebastian RudolphPortrait Larry GonzálezPortrait Karina AdlerPortrait Faiq Miftakhul FalakhPortrait Patrick KoopmannPortrait Martin DillerPortrait Tim LyonPortrait Markus KrötzschPortrait Ali ElhalawatiPortrait Ramona BehlingPortrait Sascha KlüppelholzPortrait Stefan EllmauthalerPortrait Manuel BodirskyPortrait Sarah Alice GagglPortrait Christel BaierPortrait Anni-Yasmin TurhanPortrait Irina DragostePortrait Bartosz BednarczykPortrait Jonas KargePortrait Maximilian MarxPortrait Stefan BorgwardtPortrait Christian Lewe


Neueste Publikationen

Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
AAAI 2022, to appear
Details
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
AAAI 2022, to appear
Details
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Standpoint Logic: Multi-Perspective Knowledge Representation
In Neuhaus F, Brodaric B, eds, eds., Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications, to appear. IOS Press
Details
Komplette Publikationsliste anzeigen