Proofs and Refutations for Probabilistic Refinement.
A. K. McIverCarroll C. MorganCarlos GonzalíaPublished in: FM (2008)
Keyphrases
- theorem prover
- probabilistic model
- bayesian networks
- natural deduction
- inference rules
- formal proofs
- neural network
- uncertain data
- generative model
- data driven
- artificial neural networks
- formal proof
- proof search
- first order logic
- real time
- multi agent systems
- search algorithm
- website
- feature selection
- artificial intelligence
- learning algorithm
- data mining
- data sets