DagRep.13.7.34.pdf
- Filesize: 2.85 MB
- 32 pages
Document
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 13, Issue 7
Volume: Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-03-08
Cite AsGet BibTex
Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, and Ulrich Schmid. Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). In Dagstuhl Reports, Volume 13, Issue 7, pp. 34-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.13.7.34
https://doi.org/10.4230/DagRep.13.7.34
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23272 "Epistemic and Topological Reasoning in Distributed Systems." The seminar brought together experts in combinatorial topology and epistemic logic interested in distributed systems, with the aim of exploring the directions that the recent interaction between those approaches can take, identifying challenges and opportunities.
Subject Classification
ACM Subject Classification
- Computing methodologies → Distributed algorithms
- Mathematics of computing → Graph theory
- Mathematics of computing → Topology
- Software and its engineering → Distributed systems organizing principles
- Software and its engineering → Formal methods
- Theory of computation → Distributed computing models
- Theory of computation → Data structures design and analysis
- Theory of computation → Logic
Keywords
- combinatorial topology
- distributed systems
- epistemic logic
- multi-agent systems
- interpreted systems
- dynamic epistemic logic
- simplicial semantics
- knowledge-based approach
- distributed computing
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads