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
Fax Fax: +49 241 80 22215

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

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).