5243 search results - page 9 / 1049 » Reasoning About Strategies |
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
AAMAS
1999
Springer
13 years 8 months ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
KR
2010
Springer
14 years 1 months ago
2010
Springer
CSL
2001
Springer
14 years 28 days ago
2001
Springer
LPAR
2001
Springer
14 years 26 days ago
2001
Springer