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


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