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


Neueste Publikationen

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