A Completeness Theorem for SLDNF Resolution.

Lawrence Cavedon John W. Lloyd

Published in: J. Log. Program. (1989)

Keyphrases

high resolution
low resolution
social networks
sampling rate
temporal resolution
consequence finding
real time
data sets
decision making
image processing
high level
user interface
special case
wireless sensor networks
data quality
higher resolution