Person

Peter Lindner

M. Sc.
Peter Lindner Copyright: Copyright Valentin Bister
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Address

Building: Erweiterungsbau 1

Room: 4108a

Ahornstr. 55

52074 Aachen

Contact

workPhone
Phone: +49 241 80 21716
Fax: +49 241 80 22215

Office Hours

by appointment
 

Scholar of the research training group 2236 UnRAVeL

Logo of UnRAVeL and DFG

Funded by the german reasearch foundation Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL

 

Research Interests

Logic, Database Theory

 

Publications Peter Lindner

Title Author(s) Appeared in

Generative Datalog with Continuous Distributions

Conference Version

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). p. 347-360

Infinite Probabilistic Databases

Conference Version

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

Probabilistic Databases with an Infinite Open-World Assumption

Conference Version

Martin Grohe, Peter Lindner Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2019). p. 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).