Defining answer classes using resolution refutation.

Debra T. Burhans Stuart C. Shapiro

Published in: J. Appl. Log. (2007)

Keyphrases

high resolution
inductive inference
class hierarchy
information retrieval
artificial intelligence
decision trees
multiscale
low resolution
theorem proving