8 search results - page 2 / 2 » Easy Yet Hard: Model Checking Strategies of Agents |
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
AAAI
2012
11 years 7 months ago
2012
Twitter sentiment analysis (TSA) has become a hot research topic in recent years. The goal of this task is to discover the attitude or opinion of the tweets, which is typically fo...