789 search results - page 85 / 158 » A Formal Model for Epistemic Interactions |
168
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
148
click to vote
AUSAI
2009
Springer
16 years 29 days ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
161
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
173
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
148
click to vote
OZCHI
2006
ACM
16 years 9 days ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...