scientific article; zbMATH DE number 7440223

zbMath1483.68423arXiv1606.07525MaRDI QIDQ5015395

Yoram Moses

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1606.07525

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

multi-agent systemscommon knowledgecoordinated actionknowledge of preconditions principlenested knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Related Items (8)

Unbeatable consensus ⋮ Mutual exclusion as a matter of priority ⋮ Hierarchical information and the synthesis of distributed strategies ⋮ A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Game description language and dynamic epistemic logic compared ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Continuous consensus with ambiguous failures
• How processes learn
• Programming simultaneous actions using common knowledge
• A guide to completeness and complexity for modal logics of knowledge and belief
• Agreeing to disagree
• Using knowledge to optimally achieve coordination in distributed systems
• Common knowledge revisited
• Continuous consensus via common knowledge
• Common knowledge and consistent simultaneous coordination
• A Characterization of Eventual Byzantine Agreement
• An Optimal Self-Stabilizing Firing Squad
• Agent-Time Epistemics and Coordination
• Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions
• Beyond Lamport's Happened-before
• Knowledge and common knowledge in a distributed environment
• Levels of knowledge in distributed systems.

This page was built for publication: