Login / Signup

alpha-resolution method for a lattice-valued first-order logic.

Xingxing HeYang XuJun LiuDa Ruan
Published in: Eng. Appl. Artif. Intell. (2011)
Keyphrases
  • first order logic
  • expressive power
  • probabilistic model
  • probabilistic graphical models