The Transition Calculus: a high-level formalism for reasoning about action and change.
John GoodayAntony GaltonPublished in: J. Exp. Theor. Artif. Intell. (1997)
Keyphrases
- high level
- low level
- formal language
- qualitative spatial reasoning
- transition systems
- higher level
- low level features
- qualitative spatial
- computer algebra
- computational properties
- conceptual model
- knowledge representation
- object level
- spatial reasoning
- formal theory
- formal model
- mid level
- spatial relations
- semantic information
- automated deduction
- algebraic structure
- database systems
- artificial intelligence