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