Off-line Parsability and the Well-foundedness of Subsumption

Shuly Wintner Nissim Francez

Published in: CoRR (1997)

Keyphrases

description logics
np complete
transitive closure
database
information retrieval
refinement operators
knowledge base
objective function
inductive logic programming
data sets
image processing
multimedia
decision trees
case study
object recognition