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)

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)