209 search results - page 19 / 42 » A Primer on Strategic Games |
AAAI
2008
14 years 2 hour ago
2008
In complex strategic situations decision-making agents interact with many other agents and have access to many pieces of information throughout their play. This usually leads to g...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
AI
2001
Springer
14 years 2 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...