Pages that link to "Item:Q2844043"

The following pages link to Alternating-time logic with imperfect recall (Q2844043):

Displaying 34 items.

• Alternating-time stream logic for multi-agent systems (Q967523) (← links)
• Knowledge condition games (Q1006447) (← links)
• A logic of strategic ability under bounded memory (Q1006515) (← links)
• Reasoning about temporal properties of rational play (Q1028639) (← links)
• Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
• Alternating-time temporal logics with linear past (Q1989330) (← links)
• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
• Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
• A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
• Natural strategic ability (Q2289013) (← links)
• Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
• Model checking abilities of agents: a closer look (Q2481560) (← links)
• Memory and logic: a tale from automata theory (Q2851823) (← links)
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
• Reasoning About Substructures and Games (Q2957764) (← links)
• Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
• (Q3384176) (← links)
• Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) (← links)
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
• A Logic for Reasoning about Rational Agents (Q3602940) (← links)
• ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
• ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
• Multi-valued Verification of Strategic Ability (Q4988961) (← links)
• (Q5013877) (← links)
• (Q5079765) (← links)
• Completeness of a functional system for surjective functions (Q5108132) (← links)
• Reasoning about Strategic Abilities (Q5222875) (← links)
• Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
• DOING WITHOUT ACTION TYPES (Q6153157) (← links)
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)
• Knowing how to plan (Q6642577) (← links)
• Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)