Predicate Functors Revisited.

Willard Van Orman Quine

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

Keyphrases

first order logic
database
high level
bayesian networks
pairwise
domain knowledge
dynamic programming
least squares
general purpose
logic rules