4595 search results - page 590 / 919 » Reasoning about Plans |
106
Voted
DBSEC
2010
15 years 2 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
124
Voted
CLIMA
2007
15 years 2 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
98
Voted
CLIMA
2007
15 years 2 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
104
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
90
Voted
EUSFLAT
2007
15 years 2 months ago
2007
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...