Assume-Guarantee Reasoning for Safe Component Behaviours.
Chris ChiltonBengt JonssonMarta Z. KwiatkowskaPublished in: FACS (2012)
Keyphrases
- meta level
- spatial reasoning
- reasoning tasks
- reasoning systems
- rule based reasoning
- database systems
- domain knowledge
- knowledge representation
- qualitative reasoning
- logical reasoning
- reasoning engine
- human behaviour
- reasoning problems
- consistency checking
- reasoning process
- automated reasoning
- real time
- default reasoning
- information retrieval
- neural network
- databases