CONTEXT
2005
Springer
14 years 1 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...