432 search results - page 5 / 87 » Dynamic Logic With Possible World |
GI
2008
Springer
13 years 8 months ago
2008
Springer
: The emerging tensions between the mobile application logic and the unfolding dynamic context of use belong to the core challenges of ubiquitous computing today. Starting from and...
KBS
2011
13 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
POLICY
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...
SG
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
NIPS
2003
13 years 9 months ago
2003
We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are...