Login / Signup
The Decidability of the F0L-D0L Equivalence Problem.
Keijo Ruohonen
Published in:
Inf. Process. Lett. (1979)
Keyphrases
</>
query containment
description logics
query answering
decision procedures
real time
information retrieval
artificial intelligence
feature selection
e learning
image segmentation
data structure
artificial neural networks
query optimization
conjunctive queries
transitive closure
datalog programs