On an Extensible Rule-Based Prover for Event-B.
Issam MaamriaMichael J. ButlerAndrew EdmundsAbdolbaghi RezazadehPublished in: ASM (2010)
Keyphrases
- event detection
- expert systems
- event condition action
- markup language
- theorem proving
- data driven
- theorem prover
- rule base
- data model
- object oriented
- news articles
- news stories
- rule based systems
- event recognition
- data sets
- data types
- real time
- image sequences
- temporal patterns
- information systems
- complex events
- video event
- multiple inheritance