Formalisation of Probabilistic Testing Semantics in Coq.
Yuxin DengJean-François MoninPublished in: The Art of Modelling Computational Systems (2019)
Keyphrases
- formal semantics
- probabilistic model
- uncertain data
- uncertain databases
- formal analysis
- generative model
- logic programming
- bayesian networks
- probabilistic logic
- legal reasoning
- probabilistic knowledge
- information theoretic
- conditional probabilities
- data driven
- hidden markov models
- specification language
- argumentation semantics
- neural network