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 Christel BaierPortrait Luisa HerrmannPortrait Maximilian MarxPortrait Piotr Ostropolski-NalewajaPortrait Jonas KargePortrait Franz BaaderPortrait Piotr GorczycaPortrait Sandy SeifarthPortrait Manuel BodirskyPortrait Rajab AghamovPortrait Markus KrötzschPortrait Stefan EllmauthalerPortrait Sascha KlüppelholzPortrait Sergei ObiedkovPortrait Philipp HanischPortrait Dörthe ArndtPortrait Filippo De BortoliPortrait Ramona BehlingPortrait Lukas GerlachPortrait Karina AdlerPortrait Pascal KettmannPortrait Martin DillerPortrait Alex IvlievPortrait Stefan BorgwardtPortrait Elisa BöhlPortrait Larry GonzálezPortrait Bartosz BednarczykPortrait Matthias MeißnerPortrait Knut BerlingPortrait Hannes StraßPortrait Stephan MennickePortrait Sebastian RudolphPortrait Sarah Alice GagglPortrait Tim LyonPortrait Kati DomannPortrait Kerstin Achtruth


Newest Publications

Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
Proceedings of KR 2024, to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, to appear
Details
Bartosz Bednarczyk
Database-Inspired Reasoning Problems in Description Logics With Path Expressions
Phd thesis, Technischen Universitat Dresden, 2024/06/25
Details Download
Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes K. Fichte
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Proceedings of KR 2024, to appear
Details
View full publication list