The correctness of event-B inductive convergence.

Stefan Hallerstede

Published in: Sci. Comput. Program. (2016)

Keyphrases

inductive learning
event detection
news articles
convergence rate
information systems
decision trees
condition action rules
real world
events occur
global convergence
temporal relations
concept learning
convergence speed
inductive logic programming
objective function
website
information retrieval