A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Jean-François CondottaAli MensiIssam NouaouriMichael SioutisLamjed Ben SaidPublished in: ICTAI (2015)
Keyphrases
- spatial and temporal
- constraint networks
- qualitative spatial and temporal reasoning
- interval algebra
- maximal tractable
- tree decomposition
- temporal reasoning
- spatio temporal
- spatial and temporal information
- reasoning problems
- qualitative and quantitative
- path consistency
- space time
- constraint satisfaction problems
- tree width
- temporal constraint networks
- constraint satisfaction
- video frames
- spatial temporal
- temporal domain
- constraint programming
- arc consistency
- satisfiability problem
- phase transition
- point algebra
- computational complexity
- temporal dimension
- answer set programming
- np complete
- qualitative spatial reasoning
- temporal dependencies
- sat problem
- moving objects