Pages that link to "Item:Q3647280"
From MaRDI portal
The following pages link to Constructive knowledge: what agents can achieve under imperfect information (Q3647280):
Displayed 32 items.
- What will they say? -- Public announcement games (Q542137) (← links)
- Knowing the price of success (Q785233) (← links)
- Group announcement logic (Q975877) (← links)
- A logic of strategic ability under bounded memory (Q1006515) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Natural strategic ability (Q2289013) (← links)
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information (Q3092299) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- (Q3384085) (← links)
- (Q3384090) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- DOING WITHOUT ACTION TYPES (Q6153157) (← links)