A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants.
Stella GiannakopoulouCharalampos NikolaouManolis KoubarakisPublished in: AAAI (2014)
Keyphrases
- spatial reasoning
- qualitative spatial reasoning
- consistency checking
- interval algebra
- cardinal directions
- region connection calculus
- maximal tractable
- topological relations
- temporal reasoning
- point algebra
- relation algebra
- spatial relations
- constraint networks
- spatial regions
- topological relationships
- bounded treewidth
- spatial information
- qualitative spatial and temporal reasoning
- path consistency
- spatial representation and reasoning
- query answering
- temporal constraints
- temporal information
- expressive power
- constraint language
- temporal relations
- spatial objects
- spatial databases
- video sequences
- knowledge base