Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk).
Klaus von GleissenthallAndrey RybalchenkoSantiago Zanella BéguelinPublished in: VPT@CAV (2014)
Keyphrases
- invited talk
- probabilistic model
- probabilistic relational
- statistical relational learning
- context sensitive
- relational data
- relational databases
- bayesian networks
- data model
- generative model
- information systems
- selected papers
- databases
- artificial neural networks
- learning process
- fuzzy logic
- artificial intelligence
- uncertain data
- multi relational
- genetic algorithm
- real world