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 Faiq Miftakhul FalakhPortrait Christian LewePortrait Martin DillerPortrait Patrick KoopmannPortrait Lukas GerlachPortrait Simon KnäuerPortrait Satyadharma TirtarasaPortrait Lucía Gómez ÁlvarezPortrait Manuel BodirskyPortrait Christel BaierPortrait Piotr GorczycaPortrait Thomas FellerPortrait Sarah Alice GagglPortrait Tim LyonPortrait Stephan MennickePortrait Anni-Yasmin TurhanPortrait Dominik RusovacPortrait Markus KrötzschPortrait Ramona BehlingPortrait Ali ElhalawatiPortrait Kerstin AchtruthPortrait Maximilian MarxPortrait Sascha KlüppelholzPortrait Larry GonzálezPortrait Kati DomannPortrait Philipp HanischPortrait Jonas KargePortrait Karina AdlerPortrait Bartosz BednarczykPortrait Franz BaaderPortrait Irina DragostePortrait Elisa BöhlPortrait Sandy SeifarthPortrait Hannes StraßPortrait Stefan EllmauthalerPortrait Dörthe ArndtPortrait Stefan BorgwardtPortrait Sebastian Rudolph


Neueste Publikationen

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
Naive-based Semantics for Abstract Dialectical Frameworks: Decomposition and Complexity
Journal of Artificial Intelligence Research, 70:1--64, 2021
Details Download
Tim Lyon
Refining Labelled Systems for Modal and Constructive Logics with Applications
Phd thesis, Technische Universität Wien, 2021/07/29
Details
Kees van Berkel, Tim Lyon
The Varieties of Ought-implies-Can and Deontic STIT Logic
In Fenrong Liu, Alessandra Marra, Paul Portner and Frederik Van De Putte, eds., Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021, 57-76, July 2021. College Publications
Details Download
Komplette Publikationsliste anzeigen