Generative Datalog with Continuous Distributions

Grohe, Martin (Corresponding author); Kaminski, Benjamin Lucien (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Lindner, Peter (Corresponding author)

New York, NY : ACM (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei
Seite(n)/Artikel-Nr.: 347-360

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
  • Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]

Identifikationsnummern