Logics with rigidly guarded data tests.

Thomas Colcombet Clemens Ley Gabriele Puppis

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

data sets
database
raw data
knowledge discovery
training data
high quality
data analysis
test data
data processing
data structure
statistical analysis
uncertain data
expressive power
data distribution
synthetic data
high dimensional data
image data
data sources
prior knowledge