Taxonomic Syntax for First Order Inference.

David A. McAllester Robert Givan Tanveer Fatima

Published in: KR (1989)

Keyphrases

higher order
first order logic
predicate calculus
probabilistic inference
inference engine
data sets
bayesian inference
inference process
horn clauses
stochastic dominance
lexical semantics
operational semantics
dynamic bayesian networks
natural language
bayesian networks
learning algorithm
neural network