Taxonomic Syntax for First Order Inference.
David A. McAllesterRobert GivanPublished in: J. ACM (1993)
Keyphrases
- higher order
- predicate calculus
- first order logic
- high level
- relational learning
- probabilistic inference
- neural network
- artificial intelligence
- bayesian networks
- natural language
- efficient learning
- random fields
- inference engine
- function free horn
- probabilistic reasoning
- relational data
- graphical models
- knowledge base
- machine learning