Systematic Translation Rules from astd to Event-B.

Jérémy Milhau Marc Frappier Frédéric Gervais Régine Laleau

Published in: IFM (2010)

Keyphrases

condition action rules
background knowledge
event detection
association rules
machine translation
human experts
rule sets
machine learning
information systems
knowledge base
domain experts
learning experience
news articles
rule extraction
rule discovery