Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Vorlesung Ausgewählte Kapitel der Logik: Lokalität

Sommersemester 2024

Die Webseite zur Vorlesung ist hier erreichbar.

Literatur

[EFT] H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 4. Auflage, 1996

[S-LI] N. Schweikardt, Skript zur Vorlesung "Logik in der Informatik" im Wintersemester 2017/18, Humboldt-Universität zu Berlin. LINK.

[L] Leonid Libkin, Elements of Finite Model Theory. Springer-Verlag, 2004. Die für die Vorlesung relevanten Teile des Buchs sind hier unter dem mit "Download table of contents and a sample chapter" beschrifteten Link erhältlich.

[EF] Heinz-Dieter Ebbinghaus und Jörg Flum, Finite Model Theory. Springer-Verlag, 2. Auflage, 1999.

[D] Reinhard Diestel, Graphentheorie. Springer-Verlag, 3. Auflage, 2006. LINK.

[FG] Jörg Flum und Martin Grohe, Parameterized Complexity. Springer-Verlag, 2006.

[FG01] Markus Frick und Martin Grohe, Deciding First-Order Properties of Locally Tree-Decomposable Structures. In Journal of the ACM, Vol. 48, No. 6, November 2001, pp. 1184-1206. LINK.

[KS17] Dietrich Kuske und Nicole Schweikardt, First-order logic with counting. In Proc. LICS 2017. LINK.
Eine ausführlichere Vorabversion findet sich bei ArXiv unter der Nummer CoRR abs/1703.01122. LINK.

[BKS17] Christoph Berkholz, Jens Keppeler und Nicole Schweikardt, Answering FO+MOD Queries Under Updates on Bounded Degree Databases. In Proc. ICDT 2017. LINK.
Eine ausführlichere Vorabversion findet sich bei ArXiv unter der Nummer CoRR abs/1702.08764. LINK.

[KS18] Dietrich Kuske und Nicole Schweikardt, Gaifman normal forms for counting extensions of first-order logic. In Proc. ICALP 2018. LINK.

[GS18] Martin Grohe und Nicole Schweikardt, First-Order Query Evaluation with Cardinality Conditions. In Proc. PODS 2018, pp. 253-266. LINK.
Eine ausführlichere Vorabversion findet sich bei ArXiv unter der Nummer CoRR abs/1707.05945. LINK.

[DGKS07] Anuj Dawar, Stephan Kreutzer, Martin Grohe und Nicole Schweikardt, Model Theory Makes Formulas Large. In Proc. ICALP 2017, pp. 913-924. LINK.
Eine ausführlichere Vorabversion findet sich hier.

[HKS13] Lucas Heimberg, Dietrich Kuske und Nicole Schweikardt, An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. In Proc. LICS 2013, pp. 63-72. LINK.

Links

[LICS] IEEE Symposium on Logic in Computer Science (LICS)

[EACSL] European Association for Computer Science Logic (EACSL)

[Highlights] Highlights in Logic, Games and Automata

Last modified: 12.04.2024
Nicole Schweikardt

[EFT]	H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 4. Auflage, 1996
[S-LI]	N. Schweikardt, Skript zur Vorlesung "Logik in der Informatik" im Wintersemester 2017/18, Humboldt-Universität zu Berlin. LINK.
[L]	Leonid Libkin, Elements of Finite Model Theory. Springer-Verlag, 2004. Die für die Vorlesung relevanten Teile des Buchs sind hier unter dem mit "Download table of contents and a sample chapter" beschrifteten Link erhältlich.
[EF]	Heinz-Dieter Ebbinghaus und Jörg Flum, Finite Model Theory. Springer-Verlag, 2. Auflage, 1999.
[D]	Reinhard Diestel, Graphentheorie. Springer-Verlag, 3. Auflage, 2006. LINK.
[FG]	Jörg Flum und Martin Grohe, Parameterized Complexity. Springer-Verlag, 2006.
[FG01]	Markus Frick und Martin Grohe, Deciding First-Order Properties of Locally Tree-Decomposable Structures. In Journal of the ACM, Vol. 48, No. 6, November 2001, pp. 1184-1206. LINK.
[KS17]	Dietrich Kuske und Nicole Schweikardt, First-order logic with counting. In Proc. LICS 2017. LINK. Eine ausführlichere Vorabversion findet sich bei ArXiv unter der Nummer CoRR abs/1703.01122. LINK.
[BKS17]	Christoph Berkholz, Jens Keppeler und Nicole Schweikardt, Answering FO+MOD Queries Under Updates on Bounded Degree Databases. In Proc. ICDT 2017. LINK. Eine ausführlichere Vorabversion findet sich bei ArXiv unter der Nummer CoRR abs/1702.08764. LINK.
[KS18]	Dietrich Kuske und Nicole Schweikardt, Gaifman normal forms for counting extensions of first-order logic. In Proc. ICALP 2018. LINK.
[GS18]	Martin Grohe und Nicole Schweikardt, First-Order Query Evaluation with Cardinality Conditions. In Proc. PODS 2018, pp. 253-266. LINK. Eine ausführlichere Vorabversion findet sich bei ArXiv unter der Nummer CoRR abs/1707.05945. LINK.
[DGKS07]	Anuj Dawar, Stephan Kreutzer, Martin Grohe und Nicole Schweikardt, Model Theory Makes Formulas Large. In Proc. ICALP 2017, pp. 913-924. LINK. Eine ausführlichere Vorabversion findet sich hier.
[HKS13]	Lucas Heimberg, Dietrich Kuske und Nicole Schweikardt, An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. In Proc. LICS 2013, pp. 63-72. LINK.

[LICS]	IEEE Symposium on Logic in Computer Science (LICS)
[EACSL]	European Association for Computer Science Logic (EACSL)
[Highlights]	Highlights in Logic, Games and Automata