Satisfiability for MTL and TPTL over Non-monotonic Data Words.

Claudia Carapelle Shiguang Feng Oliver Fernandez Gil Karin Quaas

Published in: LATA (2014)

Keyphrases

data sets
data collection
data processing
data sources
data structure
data analysis
original data
raw data
statistical analysis
information retrieval
data model
data points
knowledge discovery
input data
prior knowledge
xml documents
high quality
learning algorithm