On temporal logics with data variable quantifications: Decidability and complexity.

Fu Song Zhilin Wu

Published in: Inf. Comput. (2016)

Keyphrases

data sets
temporal logic
data analysis
data collection
training data
data structure
data points
np complete
belief revision
computational complexity
model checking
temporal information