Reasoning About Strategies.

Fabio Mogavero Aniello Murano Moshe Y. Vardi

Published in: FSTTCS (2010)

Keyphrases

formal theory
social networks
website
case study
database
neural network
genetic algorithm
electronic commerce
optimal strategy
spatial reasoning
qualitative reasoning