Searching for "Strategic Abilities of Agents." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A logic of propositional control for truthful implementations
- …, 2005]. The logic includes operators to capture strategic ability, and operators to capture agent…
- Add To MetaCart
-
On Epistemic Temporal Strategic Logic
- … ability Turning back to game form G1, we give an example of how an agent can have strategic knowledge…
- Cited by 12 (1 self) – Add To MetaCart
-
Model checking abilities of agents: A closer look
- … abilities of agents 3 Technical Report IfI-06-02 ATL: A Logic of Strategic Ability acting under incomplete…
- Cited by 2 (1 self) – Add To MetaCart
-
Constructive knowledge: What agents can achieve under incomplete information
- …, model checking strategic abilities of agents with perfect recall becomes undecidable (cf. Section 2…
- Cited by 6 (4 self) – Add To MetaCart
-
Theory, Logical foundations
- … and strategic abilities of agents. The language of ATL is defined as follows. Definition 1 (LATL [2]). Let Agt…
- Add To MetaCart
-
On the Dynamics of Delegation, Cooperation, and Control:
- … of activity in the development of logics for reasoning about the strategic abilities of agents and coalitions…
- Add To MetaCart
-
A Logic for Reasoning about Rational Agents: Yet Another Attempt
- …] is a logic that enables reasoning about temporal properties and strategic abilities of agents; ATL can…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
