research
∙
07/11/2023
Comparing the Update Expressivity of Communication Patterns and Action Models
Any kind of dynamics in dynamic epistemic logic can be represented as an...
share
research
∙
07/02/2022
Communication Pattern Logic: Epistemic and Topological Views
We propose communication pattern logic. A communication pattern describe...
research
∙
06/22/2021
Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems
Halpern and Moses were the first to recognize, in 1984, the importance o...
research
∙
05/08/2013
The Dynamically Extended Mind -- A Minimal Modeling Case Study
The extended mind hypothesis has stimulated much interest in cognitive s...
research
∙
04/14/2011
Self-organizing traffic lights at multiple-street intersections
Summary: Traffic light coordination is a complex problem. In this paper,...
research
∙
07/10/2009