When Do We (Not) Need Complex Assume-Guarantee Rules?

Antti Siirtola Stavros Tripakis Keijo Heljanko

Published in: ACSD (2015)

Keyphrases

rule sets
classification rules
association rules
high level
databases
multi agent
information retrieval
real world
artificial intelligence
information systems
genetic algorithm
similarity measure
search algorithm
lower bound
machine learning
knowledge based systems
complex systems
real time