Login / Signup
Model revision inference for extensions of first order logic.
Joachim Jansen
Published in:
CoRR (2014)
Keyphrases
</>
first order logic
expressive power
propositional logic
formal model
probabilistic reasoning
probabilistic model
probability distribution
probabilistic inference
inference rules