scientific article; zbMATH DE number 2182496
From MaRDI portal
Publication:4681371
Recommendations
- On epistemic temporal strategic logic
- Action and knowledge in alternating-time temporal logic
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- scientific article; zbMATH DE number 1949006
Cited in
(67)- A logic of strategic ability under bounded memory
- Reasoning about temporal properties of rational play
- Understanding when agents are fairmen or gamesmen
- Cooperation in games and epistemic readings of independence-friendly sentences
- Together we know how to achieve: an epistemic logic of know-how
- On composition of bounded-recall plans
- Epistemic reasoning about rationality and bids in auctions
- Knowledge-based strategies for multi-agent teams playing against nature
- A logic of goal-directed knowing how
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- Strategic reasoning: building cognitive models from logical formulas
- A dynamic logic of agency. I: STIT, capabilities and powers
- Knowing-how under uncertainty
- Natural strategic ability
- Approximate verification of strategic abilities under imperfect information
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
- Model checking abilities of agents: a closer look
- Action and knowledge in alternating-time temporal logic
- Knowledge as strategic ability
- On epistemic temporal strategic logic
- Reasoning about actions meets strategic logics
- Epistemic ATL with perfect recall, past and strategy contexts
- Reasoning about agent programs using ATL-like logics
- Partial information and uniform strategies
- Reasoning about strategies: on the model-checking problem
- Specification and Verification of Multi-Agent Systems
- The pleasure of gossip
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- A new modal framework for epistemic logic
- A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability
- Reasoning about strategies under partial observability and fairness constraints
- A Logic of Knowing How
- 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
- A Logic for Reasoning about Rational Agents
- Model Checking Strategic Equilibria
- Constructive knowledge: what agents can achieve under imperfect information
- ACTION TYPES IN STIT SEMANTICS
- An epistemic strategy logic
- scientific article; zbMATH DE number 2087385 (Why is no real title available?)
- Multi-valued verification of strategic ability
- Reasoning about knowledge and strategies: epistemic strategy logic
- Epistemic protocols for dynamic gossip
- Group Belief
- Intelligence in strategic games
- scientific article; zbMATH DE number 5593264 (Why is no real title available?)
- Reasoning about strategic abilities: agents with truly perfect recall
- Logical player types for a theory of play
- What is sensible for your agents should be sensible for yourself
- \(\mathsf{ATL}^\star\) with truly perfect recall: expressivity and validities
- The logic of joint ability in two-player tacit games
- What will they say? -- Public announcement games
- To be announced
- Counterfactual and seeing-to-it responsibilities in strategic games
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
- DOING WITHOUT ACTION TYPES
- First steps in updating knowing how
- Uncertainty-based semantics for multi-agent knowing how logics
- You can only be lucky once: optimal gossip for epistemic goals
- Uncertainty-based knowing how logic
- Reasoning about decidability of strategic logics with imperfect information and perfect recall strategies
- Reasoning about group responsibility for exceeding risk threshold in one-shot games
- Knowing the price of success
- Verification of multi-agent systems with public actions against strategy logic
- Group announcement logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4681371)
