Delta-Decidability over the Reals

Sicun Gao Jeremy Avigad Edmund M. Clarke

Published in: CoRR (2012)

Keyphrases

description logics
query answering
constraint databases
decision procedures
yangtze river
query containment
learning algorithm
mobile robot
database
probabilistic model
data exchange
transitive closure
type checking