Willkommen beim

Dresdens Site für Wissenstechnologien und Logik in der Informatik
Unsere Gruppen

Forschungsgruppen stellen sich vor

Logische Programmierung und Argumentation

Sarah Alice Gaggl

Die Forschungsgruppe Logische Programmierung und Argumentation an der Fakultät für Informatik und dem Institut für Künstliche Intelligenz befasst sich mit theoretischen und praktischen Aspekten der Logischen Programmierung im Speziellen mit Answ… weiterlesen

Neuigkeit vom 3. April 2021

ICCL mit gleich vier Papieren bei LICS 2021 vertreten

Mehr erfahren

International Center for Computational Logic

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

Personen beim International Center for Computational Logic

Neueste Publikationen

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. Springer International Publishing
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 Download

Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download

Komplette Publikationsliste anzeigen