A Data-Flow Network That Represents First-Order Logic for Inference.

Hideaki Suzuki Mikio Yoshida Hidefumi Sawai

Published in: TAAI (2012)

Keyphrases

first order logic
expressive power
markov logic networks
multiple sources
theorem proving
database
inductive logic programming
probabilistic reasoning
spatial data
inference rules
propositional logic
markov logic