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 Dörthe ArndtPortrait Stephan MennickePortrait Pascal KettmannPortrait Maximilian MarxPortrait Filippo De BortoliPortrait Kati DomannPortrait Manuel BodirskyPortrait Knut BerlingPortrait Sandy SeifarthPortrait Piotr Ostropolski-NalewajaPortrait Jonas KargePortrait Franz BaaderPortrait Karina AdlerPortrait Matthias MeißnerPortrait Sergei ObiedkovPortrait Elisa BöhlPortrait Luisa HerrmannPortrait Tim LyonPortrait Sebastian RudolphPortrait Alex IvlievPortrait Lukas GerlachPortrait Larry GonzálezPortrait Stefan BorgwardtPortrait Philipp HanischPortrait Piotr GorczycaPortrait Ramona BehlingPortrait Kerstin AchtruthPortrait Sarah Alice GagglPortrait Markus KrötzschPortrait Sascha KlüppelholzPortrait Christel BaierPortrait Simon RazniewskiPortrait Martin DillerPortrait Rajab AghamovPortrait Hannes Straß


Neueste Publikationen

Jonas Karge
Taming Dilation in Imprecise Pooling
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), to appear
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, 2024
Details Download
Lea Bauer, Jonas Karge
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization
22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024), to appear
Details
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download
Komplette Publikationsliste anzeigen