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...
Our research is aimed at a systematic investigation of phenomena in the nexus of culture, technology and learning. The basic premise of our research is that social affordances of t...
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
—In this paper we present Moppy — an application for mobile object position prediction. Moppy is an easy to use, intuitive application with interactive graphical user interface...
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...