Destructive Modal Resolution.

Published in: J. Log. Comput. (1990)

Keyphrases

high resolution
modal logic
conflict detection
low resolution
consequence finding
learning algorithm
computer vision
feature selection
decision making
case study
feature extraction
preprocessing
relational databases
sampling rate