Article

Obligations and Dense Time for Specifying Deadlines

Authors:

HICSS '98: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5

Page 186

https://doi.org/10.1109/HICSS.1998.648312

Published: 06 January 1998 Publication History

Publisher Site

Abstract

In this paper we consider the notion of deadlines in the context of dense time. We show that obligations and actions are essential elements for the specification of deadlines. These notions can be relatively easily combined when a discrete temporal framework is used. However, we show that, once a dense time is introduced, several problems appear. In solving these problems we cannot use the same framework and definitions as used for the discrete time. In the new framework we use a branching dense temporal framework as a basis to specify both actions and obligations. Finally we show that all types of deadlines that were defined for the discrete temporal framework can also be defined for dense time.

Cited By

View all

Knorr MGabaldon AGonçalves RLeite JSlota M(2013)Time Is Up! --- Norms with Deadlines in Action LanguagesProceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems - Volume 814310.1007/978-3-642-40624-9_14(223-238)Online publication date: 16-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40624-9_14
Gabbay D(2012)Temporal deontic logic for the generalised chisholm set of contrary to duty obligationsProceedings of the 11th international conference on Deontic Logic in Computer Science10.1007/978-3-642-31570-1_7(91-107)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31570-1_7
Balbiani PBroersen JBrunel J(2009)Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of ObligationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.02.030231(69-89)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.02.030
Show More Cited By

Obligations and Dense Time for Specifying Deadlines

Recommendations

Obligations in PTaCL
STM 2015: Proceedings of the 11th International Workshop on Security and Trust Management - Volume 9331

Obligations play an increasingly important role in authorization systems and are supported by languages such as XACML. However, our understanding of how to handle obligations in languages such as XACML, particularly in exceptional circumstances, is ...
Specifying deadlines with continuous time using deontic and temporal logic
Special issue: Formal aspects of digital commerce

This paper considers the notion of deadlines in the context of continuous (dense) time. It shows that obligations and actions are essential elements in the specification of deadlines. These notions can be relatively easily combined when a discrete ...
Formal specification and management of security policies with collective group obligations

Obligations are an essential element of security policies since they enable the specification of many security requirements such as availability, privacy, usage control and data protection. In everyday life, the fulfillment of obligations is often the ...

Comments

Information & Contributors

Information

Published In

HICSS '98: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5

January 1998

ISBN:0818682450

Publisher

IEEE Computer Society

United States

Publication History

Published: 06 January 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Knorr MGabaldon AGonçalves RLeite JSlota M(2013)Time Is Up! --- Norms with Deadlines in Action LanguagesProceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems - Volume 814310.1007/978-3-642-40624-9_14(223-238)Online publication date: 16-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40624-9_14
Gabbay D(2012)Temporal deontic logic for the generalised chisholm set of contrary to duty obligationsProceedings of the 11th international conference on Deontic Logic in Computer Science10.1007/978-3-642-31570-1_7(91-107)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31570-1_7
Balbiani PBroersen JBrunel J(2009)Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of ObligationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.02.030231(69-89)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.02.030
Adam CHerzig ALongin DLouis V(2009)Unifying the intentional and institutional semantics of speech actsProceedings of the 7th international conference on Declarative Agent Languages and Technologies10.1007/978-3-642-11355-0_5(68-84)Online publication date: 11-May-2009
https://dl.acm.org/doi/10.1007/978-3-642-11355-0_5
Brunel JBodeveix JFilali M(2006)A state/event temporal deontic logicProceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems10.1007/11786849_9(85-100)Online publication date: 12-Jul-2006
https://dl.acm.org/doi/10.1007/11786849_9
Broersen J(2006)Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenarioProceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems10.1007/11786849_7(53-68)Online publication date: 12-Jul-2006
https://dl.acm.org/doi/10.1007/11786849_7
Verdicchio MColombetti M(2004)Dealing with time in content language expressionsProceedings of the 2004 international conference on Agent Communication10.1007/978-3-540-32258-0_7(91-105)Online publication date: 19-Jul-2004
https://dl.acm.org/doi/10.1007/978-3-540-32258-0_7

Abstract

Cited By

Recommendations

Obligations in PTaCL

Specifying deadlines with continuous time using deontic and temporal logic

Formal specification and management of security policies with collective group obligations

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations