International Center for Computational Logic

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


International Center for Computational Logic

                  

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


Neueste Publikationen

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean
In Yannick Forster, Chantal Keller, eds., 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
The Adjacent Fragment and Quine’s Limits of Decision
Journal of Logic and Computation, to appear
Details Download
Lea Bauer, Jonas Karge
Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling
Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025), to appear
Details
Komplette Publikationsliste anzeigen