International Center for Computational Logic

From International Center for Computational Logic


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


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
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
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, to appear
Details
Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
IJCAI 2024, to appear
Details Download
View full publication list