Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions.
Laurence PierrePublished in: Integr. (2021)
Keyphrases
- fully automatic
- association rules
- data driven
- temporal data
- temporal dimension
- information systems
- rule sets
- first order logic
- association rule mining
- spatio temporal
- knowledge base
- decision rules
- classification rules
- spatial and temporal
- temporal information
- temporal constraints
- video sequences
- rule extraction
- active rules