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


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