Generative Datalog with Continuous Distributions

Grohe, Martin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Lindner, Peter

New York, NY : ACM (2022)
Fachzeitschriftenartikel

In: Journal of the ACM
Band: 69
Heft: 6
Seite(n)/Artikel-Nr.: 46

Einrichtungen

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