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


Neueste Publikationen

Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
Completing the Picture: Complexity of Graded Modal Logics with Converse
Theory and Practice of Logic Programming, April 2021
Details Download
Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Bartosz Bednarczyk, Jakub Michaliszyn
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), March 2021
Details Download
Komplette Publikationsliste anzeigen