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


Neueste Publikationen

Caros E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Sound Statistical Model Checking for Probabilities and Expected Rewards
In Arie Gurfinkel, Marijn Heule, eds., LNCS, volume 15696, 167-190, 2025. Springer Nature Switzerland
Details
Jonas Karge
When Diversity in Voting Trumps Ability
Episteme, to appear
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download
Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
Komplette Publikationsliste anzeigen