Generative Datalog with continuous distributions

DOI10.1145/3559102MaRDI QIDQ6551262zbMATH OpenFDO

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

Publication date 6 June 2024

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3559102

zbMATH Keywords

measure theoryprobabilistic programmingprobabilistic databasesDatalogstochastic kernelsgenerative Datalog

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Database theory (68P15)

Recommendations

• Declarative probabilistic programming with Datalog
• Extending ProbLog with Continuous Distributions
• Declarative probabilistic logic programming in discrete-continuous domains
• Generative Datalog and answer set programming (extended abstract)
• A semantics for hybrid probabilistic logic programs with function symbols

Cites work

• scientific article; zbMATH DE number 1713116 (Why is no real title available?)
• scientific article; zbMATH DE number 3123490 (Why is no real title available?)
• scientific article; zbMATH DE number 4109820 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 3615887 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 7566047 (Why is no real title available?)
• scientific article; zbMATH DE number 3244500 (Why is no real title available?)
• A probabilistic PDL
• A provably correct sampler for probabilistic programs
• Acyclicity notions for existential rules and their application to query answering in ontologies
• An Introduction to the Theory of Point Processes
• Applying Probability Measures to Abstract Languages
• Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy
• Declarative probabilistic programming with Datalog
• Elements of finite model theory.
• Extending ProbLog with Continuous Distributions
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Markov logic networks
• Measure transformer semantics for Bayesian machine learning
• On the hardness of almost-sure termination
• Probabilistic databases
• Probabilistic graphical models.
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
• Query processing on probabilistic data: a survey
• Semantics of probabilistic programs
• Statistical relational artificial intelligence: logic, probability, and computation
• Taming the infinite chase: query answering under expressive relational constraints
• Term Rewriting and Applications
• Termination Analysis of Probabilistic Programs with Martingales
• The expressive power of stratified logic programs with value invention
• Theory of Cryptography

Cited in

(2)

• Semirings for probabilistic and neuro-symbolic logic programming
• Generative Datalog and answer set programming (extended abstract)

This page was built for publication: Generative Datalog with continuous distributions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6551262)