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


Newest Publications

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
Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 29(1):1-49, January 2023
Details Download
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
In Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), volume 20 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 301–310, September 2023. International Joint Conferences on Artificial Intelligence Organization
Details Download
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, to appear. Springer
Details
View full publication list