Explicit Stabilisation for Modular Rely-Guarantee Reasoning.
John WickersonMike DoddsMatthew J. ParkinsonPublished in: ESOP (2010)
Keyphrases
- conflicting information
- knowledge base
- spatial reasoning
- reasoning systems
- reasoning process
- meta level
- qualitative reasoning
- modular structure
- rule based reasoning
- consistency checking
- automated reasoning
- databases
- knowledge representation
- knowledge representation and reasoning
- reasoning engine
- real world
- reasoning mechanism
- genetic algorithm
- resource bounded
- formal models
- e learning
- probabilistic reasoning
- multiscale
- logical framework
- artificial neural networks
- real time
- case based reasoning
- inference engine