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


Neueste Publikationen

Jana Klimpke, Sebastian Rudolph
Visualization of Statistical Information in Concept Lattice Diagrams
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Proceedings of the 16th International Conference on Formal Concept Analysis, volume 12733 of LNCS, 208-223, 2021. Springer
Details Download
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
Komplette Publikationsliste anzeigen