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


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