Generative Datalog with continuous distributions
From MaRDI portal
Publication:6551262
DOI10.1145/3559102MaRDI QIDQ6551262
Martin Grohe, Peter Lindner, Benjamin Lucien Kaminski, J.-P. Katoen
Publication date: 6 June 2024
Published in: Journal of the ACM (Search for Journal in Brave)
measure theoryDatalogprobabilistic programmingprobabilistic databasesstochastic kernelsgenerative Datalog
Database theory (68P15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elements of finite model theory.
- A probabilistic PDL
- Semantics of probabilistic programs
- The expressive power of stratified logic programs with value invention
- Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
- Markov logic networks
- Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
- Acyclicity notions for existential rules and their application to query answering in ontologies
- Taming the infinite chase: query answering under expressive relational constraints
- On the Hardness of Almost–Sure Termination
- Extending ProbLog with Continuous Distributions
- Probabilistic Databases
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Termination Analysis of Probabilistic Programs with Martingales
- Declarative Probabilistic Programming with Datalog
- Query Processing on Probabilistic Data: A Survey
- Applying Probability Measures to Abstract Languages
- Term Rewriting and Applications
- An Introduction to the Theory of Point Processes
- Measure transformer semantics for Bayesian machine learning
- Theory of Cryptography
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)