<div class="csl-bib-body">
<div class="csl-entry">Castañeda, A., Ditmarsch, H. van, Kuznets, R., Moses, Y., & Schmid, U. (2024). Epistemic and Topological Reasoning in Distributed Systems. <i>Dagstuhl Reports</i>, <i>13</i>(7), 34–65. https://doi.org/10.4230/DagRep.13.7.34</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/218025
-
dc.description.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
dc.language.iso
en
-
dc.publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
-
dc.relation.ispartof
Dagstuhl Reports
-
dc.subject
combinatorial topology
en
dc.subject
distributed systems
en
dc.subject
epistemic logic
en
dc.subject
multi-agent systems
en
dc.subject
interpreted systems
en
dc.subject
dynamic epistemic logic
en
dc.subject
simplicial semantics
en
dc.subject
knowledge-based approach
en
dc.subject
distributed computing
en
dc.title
Epistemic and Topological Reasoning in Distributed Systems
en
dc.type
Article
en
dc.type
Artikel
de
dc.contributor.affiliation
Universidad Nacional Autónoma de México, Mexico
-
dc.contributor.affiliation
Université de Toulouse, France
-
dc.contributor.affiliation
Technion – Israel Institute of Technology, Israel
-
dc.description.startpage
34
-
dc.description.endpage
65
-
dc.type.category
Other Contribution
-
tuw.container.volume
13
-
tuw.container.issue
7
-
tuw.peerreviewed
false
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Dagstuhl Reports
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
tuw.publication.orgunit
E366-02 - Forschungsbereich Mikrosystemtechnik
-
tuw.publisher.doi
10.4230/DagRep.13.7.34
-
dc.identifier.eissn
2192-5283
-
dc.description.numberOfPages
32
-
tuw.author.orcid
0000-0002-8017-8639
-
tuw.author.orcid
0000-0001-5894-8724
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Elektrotechnik, Elektronik, Informationstechnik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
2020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
50
-
wb.sciencebranch.value
40
-
wb.sciencebranch.value
10
-
item.openairecristype
http://purl.org/coar/resource_type/c_6501
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
crisitem.author.dept
Universidad Nacional Autónoma de México
-
crisitem.author.dept
Université de Toulouse
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.dept
Technion – Israel Institute of Technology
-
crisitem.author.dept
E366 - Institut für Sensor- und Aktuatorsysteme
-
crisitem.author.orcid
0000-0002-8017-8639
-
crisitem.author.orcid
0000-0001-5894-8724
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
crisitem.author.parentorg
E350 - Fakultät für Elektrotechnik und Informationstechnik
