Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond.
Vaishak BellePublished in: JELIA (2023)
Keyphrases
- random variables
- first order logic
- probability distribution
- recursive programs
- conditional probabilities
- program synthesis
- expressive power
- graphical models
- joint probability distribution
- probabilistic graphical models
- inductive logic programming
- logic programs
- conditional independence
- joint distribution
- bayesian networks
- knowledge representation
- markov networks
- independent and identically distributed
- latent variables
- marginal distributions
- posterior probability
- directed acyclic graph
- transformation rules
- conditional probability distributions
- artificial intelligence
- database
- probability density function
- logic programming
- random vectors