Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.

Published in: Notre Dame J. Formal Log. (2011)

Keyphrases

higher order
first order logic
machine learning
information retrieval
data driven
decision diagrams
stochastic dominance
neural network
decision trees
term rewriting
general logic programs
inductive logic programming systems