Rodin: an open toolset for modelling and reasoning in Event-B.
Jean-Raymond AbrialMichael J. ButlerStefan HallerstedeThai Son HoangFarhad MehtaLaurent VoisinPublished in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
- open world
- knowledge base
- causal reasoning
- qualitative models
- knowledge representation
- event detection
- spatial reasoning
- reasoning tasks
- reasoning and decision making
- model based reasoning
- formal models
- real time
- model construction
- event sequences
- analogical reasoning
- open systems
- event driven
- reasoning systems
- meta level
- news articles
- artificial intelligence
- neural network