Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.

Tamás Gergely Konstantin Vershinin

Published in: IJCAI (1983)

Keyphrases

positive and negative
preference relations
neural network
consequence finding
image resolution
spatial relations
semantic relations
high resolution
search algorithm
real world
low resolution
attribute values
image sequences
case study
website
image processing
transitive closure
binary relations
databases