On Compositional Reasoning in the Spi-calculus.
Michele BorealeDaniele GorlaPublished in: FoSSaCS (2002)
Keyphrases
- qualitative spatial reasoning
- knowledge base
- proof procedure
- automated theorem proving
- knowledge representation
- computer algebra
- qualitative spatial
- meta level
- reasoning tasks
- artificial intelligence
- qualitative reasoning
- approximate reasoning
- model based reasoning
- reasoning problems
- algebraic structure
- proof theory