-decidability over the reals.

Abhishek Murthy Md. Ariful Islam Scott A. Smolka Radu Grosu

Published in: HSCC (2015)

Keyphrases

description logics
constraint databases
query answering
decision procedures
type checking
real world
data mining
information retrieval
learning algorithm
artificial intelligence
database systems
special case
upper bound
transitive closure