Dynamic Logic for Data-aware Systems: Decidability Results.

Francesco Belardinelli Andreas Herzig

Published in: IJCAI (2017)

Keyphrases

data sets
data processing
high quality
computer systems
data structure
image data
data collection
missing data
synthetic data
knowledge discovery
high dimensional data
privacy preserving
data quality
data analysis
data points
dynamic logic