Generative Datalog with Continuous Distributions

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

New York, NY : ACM (2022)
Journal Article

In: Journal of the ACM
Volume: 69
Issue: 6
Page(s)/Article-Nr.: 46

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]