Login / Signup
alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System.
Weitao Xu
Wenqiang Zhang
Dexian Zhang
Yang Xu
Published in:
ISKE (2015)
Keyphrases
</>
first order logic
expressive power
inference rules
knowledge representation
propositional logic
horn clauses
probabilistic reasoning