Probabilistic Horn Clause Verification.

Aws Albarghouthi

Published in: SAS (2017)

Keyphrases

horn clauses
first order logic
logic programs
probabilistic model
generative model
model checking
inductive logic programming
inference rules
probabilistic reasoning
bayesian networks
knowledge base
artificial intelligence
expert systems
uncertain data