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


Neueste Publikationen

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
Tim Lyon
A Framework for Intuitionistic Grammar Logics
In Pietro Baroni, Christoph Benzmüller, Yὶ N. Wang, eds., Logic and Argumentation, volume 13040, 495-503, October 2021. Springer International Publishing
Details Download
Tim Lyon
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
In Anupam Das, Sara Negri, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 409-427, August 2021. Springer International Publishing
Details Download
Komplette Publikationsliste anzeigen