Herbrand's Theorem for Nonstandard Inference Operations.
Jürgen DixMartin KummerPublished in: J. Log. Comput. (1994)
Keyphrases
- logic programs
- statistical relational learning
- case study
- logic programming
- grammatical inference
- probabilistic inference
- first order logic
- inference mechanism
- inference engine
- object oriented
- machine learning
- knowledge representation
- bayesian networks
- background knowledge
- database systems
- belief networks
- high level
- bayesian model
- structured prediction
- neural network
- data sets
- real time