Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.
Alejandro AguirreGilles BartheLars BirkedalAles BizjakMarco GaboardiDeepak GargPublished in: ESOP (2018)
Keyphrases
- markov chain
- lambda calculus
- database query languages
- probabilistic reasoning
- finite state
- random walk
- markov processes
- state space
- programming language
- transition probabilities
- relational databases
- predicate calculus
- first order logic
- knowledge representation
- data model
- probabilistic automata
- program understanding
- probabilistic model
- reasoning systems
- knowledge base
- transition matrix
- database systems
- software maintenance
- information theoretic
- expressive power
- reinforcement learning
- bayesian networks