Login / Signup
Positive and Negative Results for Higher-Order Disunification.
Denis Lugiez
Published in:
J. Symb. Comput. (1995)
Keyphrases
</>
positive and negative
higher order
horn clauses
decision rules
pairwise
positive or negative
first order logic
logic programs
positive examples
inference rules
training instances
neural network
computer vision