Login / Signup

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System.

Weitao XuWenqiang ZhangDexian ZhangYang Xu
Published in: ISKE (2015)
Keyphrases
  • first order logic
  • expressive power
  • inference rules
  • knowledge representation
  • propositional logic
  • horn clauses
  • probabilistic reasoning