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


Neueste Publikationen

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
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Komplette Publikationsliste anzeigen