An Extension of ATL with Strategy Interaction.

Farn Wang Sven Schewe Chung-Hao Huang

Published in: ACM Trans. Program. Lang. Syst. (2015)

Keyphrases

multi agent systems
user interaction
human computer interaction
temporal logic
information seeking
neural network
data mining
computer vision
image processing
data structure
learning environment
digital libraries
evolutionary algorithm
search strategy
human interaction
optimal strategy