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


Neueste Publikationen

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), to appear
Details Download
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
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
Jonas Karge
A Modified Supervaluationist Framework for Decision-Making
Logos & Episteme, 7(2):175-191, June 2021
Details Download
Komplette Publikationsliste anzeigen