A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.

Feng Cao Yang Xu Shuwei Chen Xinran Ning Guanfeng Wu

Published in: ISKE (2019)

Keyphrases

preprocessing
first order logic
theorem prover
inference rules
horn clauses
expressive power
propositional logic
probability distribution
parameter estimation
predicate calculus
data mining
machine learning
artificial intelligence
higher order
probabilistic reasoning
transitive closure