A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation.
Irène DurandSylviane R. SchwerPublished in: J. Univers. Comput. Sci. (2008)
Keyphrases
- temporal information
- temporal reasoning
- formal theory
- spatial information
- video sequences
- qualitative reasoning
- temporal data
- causal reasoning
- temporal dimension
- temporal constraints
- spatial and temporal information
- temporal context
- temporal patterns
- temporal expressions
- temporal knowledge
- learning theory
- contextual information
- reasoning about physical systems
- temporal relations
- spatial reasoning
- interval algebra
- qualitative spatial reasoning
- text summarization
- knowledge representation
- temporal sequences
- visual information