When Do We Not Need Complex Assume-Guarantee Rules?

Antti Siirtola Stavros Tripakis Keijo Heljanko

Published in: ACM Trans. Embed. Comput. Syst. (2017)

Keyphrases

real world
machine learning
artificial intelligence
real time
association rule mining
genetic algorithm
information systems
website
association rules
complex systems
background knowledge
production rules
rule extraction
rule learning