Towards Modelling Obligations in Event-B.

Juan Bicarregui Alvaro Arenas Benjamin Aziz Philippe Massonet Christophe Ponsard

Published in: ABZ (2008)

Keyphrases

event detection
news articles
news stories
event driven
events occurring
machine learning
information retrieval
e learning
image processing
multimedia
expert systems
social media
agent architecture
event recognition
temporal structure
complex events