A Reasoning System of Ternary Projective Relations.
Eliseo ClementiniSpiros SkiadopoulosRoland BillenFrancesco TarquiniPublished in: IEEE Trans. Knowl. Data Eng. (2010)
Keyphrases
- temporal knowledge
- automated reasoning
- semantic relations
- planar curves
- temporal reasoning
- reasoning process
- reasoning tasks
- rule based reasoning
- analogical reasoning
- consistency checking
- reasoning systems
- spatial reasoning
- knowledge base
- topological relations
- qualitative spatial reasoning
- probabilistic reasoning
- inconsistent information
- spatial relations
- model based reasoning
- point algebra
- maximal tractable
- artificial intelligence
- reasoning problems
- causal relations
- computational properties
- legal reasoning
- production rules
- partial order
- attribute values