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


Neueste Publikationen

Tim Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Bulletin of the Section of Logic, 2025
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
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
Komplette Publikationsliste anzeigen