Login / Signup
[α1，α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability).
Xinxing Wu
Guosheng Hu
Yixiang Chen
Published in:
计算机科学 (2015)
Keyphrases
</>
probabilistic logic
logic programming
probability theory
generative model
information theoretic
data model
probabilistic reasoning
real time
probabilistic model
data driven
classical logic
set theory
highly reliable
probabilistic approaches