Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic.

Hairui Jia Yi Liu Yang Xu

Published in: ISKE (2015)

Keyphrases

first order logic
theorem proving
expressive power
inference rules
inductive logic programming
propositional logic
constraint databases
temporal resolution
database
data mining
computational complexity
em algorithm
probabilistic reasoning
horn clauses