Finite Model Reasoning in Expressive Fragments of First-Order Logic.

Published in: M4M@ICLA (2017)

Keyphrases

first order logic
expressive power
probabilistic model
probability distribution
knowledge representation
formal model
inductive logic programming
theorem proving
representation language
logical rules