International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

                  

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


Newest Publications

David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proceedings of the ACM on Management of Data, 3(2 (PODS)), June 2025
Details Download
Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
When to Sample from Feature Diagrams?
Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS '25, 11-20, May 2025. Association for Computing Machinery
Details
Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 1-36, June 2025
Details
Pascal Kettmann, Jesse Heyninck, Hannes Straß
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, to appear
Details Download
View full publication list