The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
Privacy management in user-centred multi-agent systems
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A state/event temporal deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Hi-index | 0.00 |
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 be aware of the normative context regarding personal data protection (applicable laws and other regulations). These privacy-related norms usually refer to deadlines and durations. To represent these regulations, we introduce the Deontic Logic for Privacy; this logic represents privacy-related obligations while providing the required temporal expressiveness.