An Abstraction-Refinement Framework for Multi-Agent Systems.

Thomas Ball Orna Kupferman

Published in: LICS (2006)

Keyphrases

multi agent systems
main contribution
lightweight
database
real time
multi agent
data sets
data mining
cooperative
conceptual framework
agent platform