Record link: 
http://hdl.handle.net/20.500.12708/218025
-
Title: 
Epistemic and Topological Reasoning in Distributed Systems
en
Citation: 
Castañeda, A., Ditmarsch, H. van, Kuznets, R., Moses, Y., & Schmid, U. (2024). Epistemic and Topological Reasoning in Distributed Systems. Dagstuhl Reports, 13(7), 34–65. https://doi.org/10.4230/DagRep.13.7.34
-
Publisher DOI: 
10.4230/DagRep.13.7.34
-
Publication Type: 
Article - Other Contribution
en
Language: 
English
-
Authors: 
Castañeda, Armando 
Ditmarsch, Hans van 
Kuznets, Roman 
Moses, Yoram 
Schmid, Ulrich 
-
Organisational Unit: 
E191-02 - Forschungsbereich Embedded Computing Systems 
E366-02 - Forschungsbereich Mikrosystemtechnik 
-
Journal: 
Dagstuhl Reports 
-
Date (published): 
8-Mar-2024
-
Number of Pages: 
32
-
Publisher: 
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
-
Peer reviewed: 
No
-
Keywords: 
combinatorial topology; distributed systems; epistemic logic; multi-agent systems; interpreted systems; dynamic epistemic logic; simplicial semantics; knowledge-based approach; distributed computing
en
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.
en
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 50%
2020 - Elektrotechnik, Elektronik, Informationstechnik: 40%
1010 - Mathematik: 10%
-
Appears in Collections:
Article

Show full item record

Page view(s)

11
checked on Aug 7, 2025

Google ScholarTM

Check