Resolving distributed knowledge
From MaRDI portal
Publication:1677430
DOI10.1016/j.artint.2017.07.002zbMath1419.68103arXiv1606.07515OpenAlexW2963424696MaRDI QIDQ1677430
Publication date: 21 November 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.07515
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (15)
Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ О трудностях определения имплицитного знания группы ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ PRIORITY MERGE AND INTERSECTION MODALITIES ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Group Belief ⋮ Communication pattern logic: epistemic and topological views ⋮ Impure Simplicial Complexes: Complete Axiomatization ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Coalition and relativised group announcement logic ⋮ Intelligence in Strategic Games ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ Towards Collaborative Conceptual Exploration
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Knowledge, action, and the frame problem
- Logics of communication and change
- Relativized common knowledge for dynamic epistemic logic
- Dynamic epistemic logic
- Group announcement logic
- Descriptions of game actions
- Group knowledge is not always distributed (neither is it always implicit)
- Ability and knowing how in the situation calculus
- A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
- Logics for epistemic programs
- Epistemic planning for single- and multi-agent systems
- Distributed Protocols for Leader Election: A Game-Theoretic Perspective
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Logical Dynamics of Information and Interaction
- Alternating-time temporal logic
- Distributed knowledge
- Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
- A Modal Logic for Coalitional Power in Games
This page was built for publication: Resolving distributed knowledge