Norms with deadlines in Dynamic Deontic Logic

Authors:
Robert Demolombe;Philippe Bretier;Vincent Louis
Affiliations:
ONERA Toulouse, France, email: Robert.Demolmbe@cert.fr;France Telecom Research and Development, France, email: philippe.bretier@francetelecom.com;France Telecom Research and Development, France, email: vincent.louis@francetelecom.com
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 2
Cited 2

Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines

HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
BDIO: obligations and the specification of agent behavior

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Unifying the intentional and institutional semantics of speech acts

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we extend the logical framework defined by K. Segerberg about norms and actions to norms that refer to deadlines. We also characterize the circumstances where these norms are violated.