On the decidability of quasi-reducibility.

Stéphane Kaplan Marianne Choquer

Published in: Bull. EATCS (1986)

Keyphrases

description logics
query answering
decision procedures
real world
data mining
three dimensional
intrinsic complexity
information retrieval
search engine
information systems
database systems
bayesian networks
relational databases
multiresolution