Using logic rules for concept refinement learning in first order logic.

Zhenguo Shi Zongtian Liu Jianping Chen

Published in: BIC-TA (2010)

Keyphrases

first order logic
markov logic networks
markov logic
expressive power
propositional logic
theorem proving
database
inductive logic programming
transitive closure
inference rules
theorem prover
markov networks
probabilistic graphical models