Login / Signup
alpha-resolution method for a lattice-valued first-order logic.
Xingxing He
Yang Xu
Jun Liu
Da Ruan
Published in:
Eng. Appl. Artif. Intell. (2011)
Keyphrases
</>
first order logic
expressive power
probabilistic model
probabilistic graphical models