An Order-Sorted Resolution with Implicitly Negative Sorts.

Ken Kaneiwa Satoshi Tojo

Published in: ICLP (2001)

Keyphrases

order sorted
positive and negative
predicate logic
high resolution
database
low resolution
neural network
case study
consequence finding