
Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
Prof. Dr. Christoph Berkholz |
Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!
Aktuelles:
- Die Arbeit "Fine-Grained Complexity of Regular Path Queries" von Katrin Casel und Markus Schmid wurde für ICDT 2021 akzeptiert.
- Die Arbeit "Learning Concepts Described by Weight Aggregation Logic" von Steffen van Bergerem und Nicole Schweikardt wurde für CSL 2021 akzeptiert. Ein Preprint ist bei arXiv erhältlich: CoRR abs/2009.10574 (2020)
- Die Arbeit "A Purely Regular Approach to Non-Regular Core Spanners " von Markus Schmid und Nicole Schweikardt wurde für ICDT 2021 akzeptiert. Ein Preprint ist bei arXiv erhältlich: CoRR abs/2010.13442 (2020)
- Die Arbeit "Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration" von Nofar Carmeli, Shai Zeevi, Christoph Berkholz, Benny Kimelfeld und Nicole Schweikardt wurde für PODS 2020 akzeptiert.
- Die Arbeit "Conjunctive Regular Path Queries with String Variables" von Markus Schmid wurde für PODS 2020 akzeptiert. Ein Preprint ist bei arXiv erhältlich: CoRR abs/1912.09326 (2020)