Constructive knowledge: what agents can achieve under imperfect information
From MaRDI portal
(Redirected from Publication:3647280)
Recommendations
Cites work
- A Modal Logic for Coalitional Power in Games
- Action and knowledge in alternating-time temporal logic
- Alternating-time temporal logic
- An introduction to game logic
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Comparing semantics of logics for multi-agent systems
- Constructive knowledge: what agents can achieve under imperfect information
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- History of constructivism in the 20th century
- scientific article; zbMATH DE number 3106184 (Why is no real title available?)
- On the Expressiveness and Complexity of ATL
Cited in
(41)- A logic of strategic ability under bounded memory
- Reasoning about temporal properties of rational play
- A complete coalition logic of temporal knowledge for multi-agent systems
- Together we know how to achieve: an epistemic logic of know-how
- Complexity results of STIT fragments
- On composition of bounded-recall plans
- Knowledge-based strategies for multi-agent teams playing against nature
- Dynamic term-modal logics for first-order epistemic planning
- A dynamic logic of agency. I: STIT, capabilities and powers
- Knowing-how under uncertainty
- Natural strategic ability
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- Model checking abilities of agents: a closer look
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- scientific article; zbMATH DE number 2089455 (Why is no real title available?)
- Synthesizing strategies for homogeneous multi-agent systems with incomplete information
- Reasoning with protocols under imperfect information
- Specification and Verification of Multi-Agent Systems
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- A new modal framework for epistemic logic
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
- Constructive knowledge: what agents can achieve under imperfect information
- ACTION TYPES IN STIT SEMANTICS
- Multi-valued verification of strategic ability
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Intelligence in strategic games
- What will they say? -- Public announcement games
- Tableaux for the Logic of Strategically Knowing How
- Neighborhood semantics for logic of knowing how
- DOING WITHOUT ACTION TYPES
- How easy it is to know how: an upper bound for the satisfiability problem
- First steps in updating knowing how
- Uncertainty-based semantics for multi-agent knowing how logics
- Knowing how to plan
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Complexity of multi-agent conformant planning with group knowledge
- Uncertainty-based knowing how logic
- Generalized alternating-time temporal logics. I: Semantics
- Knowing the price of success
- Group announcement logic
This page was built for publication: Constructive knowledge: what agents can achieve under imperfect information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647280)
