A Canonical Model for Constant Domain Basic First-Order Logic.

Published in: Stud Logica (2020)

Keyphrases

first order logic
probabilistic model
expressive power
probability distribution
database
knowledge representation
em algorithm
formal model
probabilistic reasoning
horn clauses