Herbrand's Theorem for Nonstandard Inference Operations (Abstract).

Jürgen Dix Martin Kummer

Published in: J. Symb. Log. (1993)

Keyphrases

logic programs
statistical relational learning
logic programming
bayesian inference
first order logic
probabilistic inference
information systems
abstract data types
higher level
bayesian networks
high level
machine learning
low level
expert systems
belief networks
data mining
bayesian model
neural network
data sets