Person

Peter Lindner

M. Sc.
Nicht verfügbar Urheberrecht: © Copyright Valentin Bister
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4108a

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21716

Sprechstunde

nach Vereinbarung
 

Stipendiat des Graduiertenkollegs 2236 UnRAVeL

Logos von UnRAVeL und DFG

Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL

 

Forschungsinterssen

Logik, Datenbanktheorie

 

Publikationen

Titel Autor*innen Erschienen in
Probabilistic Data with Continuous Distributions Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen

ACM SIGMOD Record, Volume 50, Issue 1, March 2021, S. 69–76

Arxiv: https://arxiv.org/abs/2101.12289

Tuple-Independent Representations of Infinite Probabilistic Databases

Nofar Carmeli, Martin Grohe, Peter Lindner, Christoph Standke

Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2021), Pages 388–401

Arxiv: https://arxiv.org/abs/2008.09511

Generative Datalog with Continuous Distributions

Konferenzversion

Martin Grohe, Benjamin Lucien Kaminsiki, Joost-Pieter Katoen, Peter Lindner

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020).S. 347-360

Infinite Probabilistic Databases

Konferenzversion

Martin Grohe, Peter Lindner 23rd International Conference on Database Theory (ICDT 2020). S. 16:1 - 16:20

Probabilistic Databases with an Infinite Open-World Assumption

Konferenzversion

Martin Grohe, Peter Lindner

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2019). S. 17-31
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures Faried Abu Zaid, Dietrich Kuske, Peter Lindner

27th EACSL Annual Conference on Computer Science Logic (CSL 2018).