Complete Proof Systems for Amortised Probabilistic Bisimulations.
Li-Li XuHui-Min LinPublished in: J. Comput. Sci. Technol. (2016)
Keyphrases
- computer systems
- probabilistic model
- probabilistic reasoning
- distributed systems
- bayesian networks
- learning algorithm
- information systems
- decision making
- search engine
- expert systems
- artificial neural networks
- real time
- probability distribution
- artificial intelligence
- intelligent systems
- knowledge based systems
- information theoretic
- theorem prover
- computing systems
- machine learning