Reasoning about Knowledge in Asynchronous Distributed Systems
From MaRDI portal
Recommendations
- Reasoning about knowledge and messages in asynchronous multi-agent systems
- Formalizing Concurrent Common Knowledge as Product of Modal Logics
- Concurrent common knowledge: Defining agreement for asynchronous systems
- Asynchronous knowledge with hidden actions in the situation calculus
- Knowledge and common knowledge in a distributed environment
Cited in
(14)- Epistemic reasoning with Byzantine-faulty agents
- Asynchronous knowledge with hidden actions in the situation calculus
- Recording and analysing knowledge-based distributed deduction processes
- Formalizing Concurrent Common Knowledge as Product of Modal Logics
- Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments
- Reasoning about knowledge and messages in asynchronous multi-agent systems
- scientific article; zbMATH DE number 6863657 (Why is no real title available?)
- scientific article; zbMATH DE number 2090869 (Why is no real title available?)
- Causality and epistemic reasoning in Byzantine multi-agent systems
- Asynchronous announcements
- Product of Graphs and Hybrid Logic
- scientific article; zbMATH DE number 4197453 (Why is no real title available?)
- Reasoning in event-based distributed systems
- scientific article; zbMATH DE number 7649937 (Why is no real title available?)
This page was built for publication: Reasoning about Knowledge in Asynchronous Distributed Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5463270)
