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 Simon RazniewskiPortrait Dörthe ArndtPortrait Filippo De BortoliPortrait Larry GonzálezPortrait Hannes StraßPortrait Alex IvlievPortrait Andrea KühnPortrait Jakob PiribauerPortrait Christel BaierPortrait Sergei ObiedkovPortrait Johannes LehmannPortrait Martin DillerPortrait Maximilian MarxPortrait Karina AdlerPortrait Stefan BorgwardtPortrait Sandy SeifarthPortrait Piotr Ostropolski-NalewajaPortrait Lukas GerlachPortrait Kati DomannPortrait Markus KrötzschPortrait Ramona BehlingPortrait Elisa BöhlPortrait Sebastian RudolphPortrait Patrick WienhöftPortrait Nikolai KäferPortrait Robin ZiemekPortrait Stephan MennickePortrait Knut BerlingPortrait Jonas KargePortrait Meghna BhadraPortrait Rajab AghamovPortrait Max KornPortrait Timm SporkPortrait Matthias MeißnerPortrait Sarah Alice GagglPortrait Tim LyonPortrait Pascal KettmannPortrait Calvin ChauPortrait Philipp HanischPortrait Piotr GorczycaPortrait Luisa HerrmannPortrait Manuel BodirskyPortrait Sascha KlüppelholzPortrait Franz BaaderPortrait Kerstin Achtruth


Newest Publications

Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Logical Methods in Computer Science, 21(2):7:1-7:35, April 2025
Details Download
Lukas Gerlach
Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions
Talk at Description Logics Seminar, April 2025
Details
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proc. ACM Manag. Data, 3(2 (PODS)), to appear
Details Download
Bartosz Bednarczyk, Julien Grange
About the Expressive Power and Complexity of Order-Invariance with Two Variables
Logical Methods in Computer Science, 21(1):30:1--30:28, March 2025
Details Download
View full publication list