2026-08-03T01:34:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19774 2026-04-20T13:09:25Z ddc:004 open_access

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272) Castañeda, Armando van Ditmarsch, Hans Kuznets, Roman Moses, Yoram Schmid, Ulrich combinatorial topology distributed systems epistemic logic multi-agent systems interpreted systems dynamic epistemic logic simplicial semantics knowledge-based approach distributed computing 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Armando Castañeda and Hans van Ditmarsch and Roman Kuznets and Yoram Moses and Ulrich Schmid 2024 Is Part Of Dagstuhl Reports, Volume 13, Issue 7 (2024) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.13.7.34 urn:nbn:de:0030-drops-197742 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.34 eng https://creativecommons.org/licenses/by/4.0/legalcode