3831 search results - page 94 / 767 » Dynamic Context Logic |
120
Voted
JANCL
2007
15 years 16 days ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
105
Voted
HUC
1999
Springer
15 years 4 months ago
1999
Springer
Mobile information appliances are increasingly used in numerous different situations and locations, setting new requirements to their interaction methods. When the user's situ...
IJIPT
2007
15 years 16 days ago
2007
: This paper presents the ANS architecture that uses ubiquitous computing to monitor medical patients in the home. Since there is no notion of the patient carrying out maintenance ...
IGPL
2008
15 years 19 days ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper proposes a general framework for classifying data streams by exploiting incremental clustering in order to dynamically build and update an ensemble of incremen...