Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...
Michael Hoffmann, Bettina Speckmann, Csaba D. T&oa...
The central question in this paper is: Who (or what) constructs anticipations? I challenge the (tacit) assumption of Rosen’s standard definition of anticipatory systems according...