56 search results - page 1 / 12 » An Update Operator for Strategic Ability |
LORI
2009
Springer
13 years 11 months ago
2009
Springer
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
IAT
2009
IEEE
13 years 2 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
DEON
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
EDBT
2006
ACM
13 years 8 months ago
2006
ACM
There has been growing interest in the addition of update operations to languages that operate on XML data, for example, XQuery and XJ. These update operations support efficient an...
EOR
2007
13 years 4 months ago
2007
In this paper, we investigate how opportunities to invest in demand enhancing services for a product line affect the interactions between a manufacturer and her dealer. Many dema...