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 Hannes StraßPortrait Lucía Gómez ÁlvarezPortrait Philipp HanischPortrait Dörthe ArndtPortrait Stefan BorgwardtPortrait Larry GonzálezPortrait Sebastian RudolphPortrait Stefan EllmauthalerPortrait Elisa BöhlPortrait Ramona BehlingPortrait Sascha KlüppelholzPortrait Filippo De BortoliPortrait Franz BaaderPortrait Jonas KargePortrait Lukas GerlachPortrait Stephan MennickePortrait Maximilian MarxPortrait Kerstin AchtruthPortrait Martin DillerPortrait Piotr Ostropolski-NalewajaPortrait Piotr GorczycaPortrait Markus KrötzschPortrait Alex IvlievPortrait Karina AdlerPortrait Simon KnäuerPortrait Sarah Alice GagglPortrait Manuel BodirskyPortrait Kati DomannPortrait Rajab AghamovPortrait Christel BaierPortrait Luisa HerrmannPortrait Bartosz BednarczykPortrait Anni-Yasmin TurhanPortrait Knut BerlingPortrait Dominik RusovacPortrait Matthias MeißnerPortrait Pascal KettmannPortrait Sandy SeifarthPortrait Satyadharma TirtarasaPortrait Tim LyonPortrait Sergei Obiedkov


Neueste Publikationen

Bartosz Bednarczyk
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), Logics in Artificial Intelligence, 289--305, to appear. Springer International Publishing
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, to appear
Details Download
Tim Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download
Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), to appear
Details Download
Komplette Publikationsliste anzeigen