SLDNF-Resolution with Equality.

John C. Shepherdson

Published in: J. Autom. Reason. (1992)

Keyphrases

high resolution
consequence finding
low resolution
database
social networks
computer vision
case study
three dimensional
preprocessing
input image
temporal resolution
conflict detection