On temporal logic constraint solving for analyzing numerical data time series.
François FagesAurélien RizkPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- np complete
- temporal logic
- numerical data
- constraint solving
- constraint satisfaction problems
- satisfiability problem
- model checking
- constraint satisfaction
- constraint propagation
- constraint logic programming
- categorical data
- data sets
- constraint programming
- constraint solver
- symbolic data
- modal logic
- linear temporal logic
- verification method
- computation tree logic
- computational complexity
- mazurkiewicz traces
- belief revision
- transition systems
- temporal knowledge
- formal specification
- temporally extended
- bounded model checking
- cluster analysis
- automata theoretic
- database