International Center for Computational Logic

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


International Center for Computational Logic

EbD-rightmargin.png

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:


Mitarbeiter und Gäste

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


Neueste Publikationen

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
Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
Komplette Publikationsliste anzeigen