A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints.
Ali MensiJean-François CondottaIssam NouaouriMichael SioutisLamjed Ben SaïdPublished in: SETN (2018)
Keyphrases
- spatial and temporal
- spatio temporal
- temporal dimension
- temporal correlation
- spatial temporal
- temporal aspects
- spatial features
- space time
- temporal resolution
- temporal information
- temporal constraints
- temporal domain
- spatial data
- spatio temporal data
- interval algebra
- spatio temporal databases
- temporal behavior
- temporal dependencies
- temporal reasoning
- temporal data
- spatial locality
- computational complexity
- temporal relationships
- spatial correlation
- spatial databases
- satisfiability problem
- temporal databases
- spatial context
- temporal analysis
- spatial relationships
- reasoning problems
- spatial information
- np complete
- search algorithm
- temporal redundancy
- temporal patterns
- propositional logic
- temporal consistency
- geographic information systems
- phase transition
- spatial structure