International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

EbD-rightmargin.png

                  

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:


Members and Guests

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


Newest Publications

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
Filippo De Bortoli, Franz Baader
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 23-02, August 2023
Details
View full publication list