Abstract Interpretation of Supermodular Games.

Francesco Ranzato

Published in: CoRR (2015)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
active databases
dynamic analysis
knowledge representation
agent architecture