18 search results - page 2 / 4 » Designing a Deontic Logic of Deadlines |
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
JTAER
2008
13 years 4 months ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
ICAIL
2003
ACM
13 years 10 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
CACM
2007
13 years 4 months ago
2007
: The choice uncertainty principle says that it is impossible to make an unambiguous choice between near-simultaneous events under a deadline. This principle affects the design of ...