Bureaucracies as deontic systems
ACM Transactions on Information Systems (TOIS)
A logic model for electronic contracting
Decision Support Systems
Temporal logic for real time systems
Temporal logic for real time systems
Deontic logic: a concise overview
Deontic logic in computer science
The role of deontic logic in the specification of information systems
Logics for databases and information systems
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
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
Norms and time in agent-based systems
Proceedings of the 8th international conference on Artificial intelligence and law
International Journal of Metadata, Semantics and Ontologies
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
A dyadic operator for the gradation of desirability
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Temporal deontic logic for the generalised chisholm set of contrary to duty obligations
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
| Hi-index | 0.00 |
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 temporal framework is used. Once a dense time is introduced, however, several problems appear. They cannot be solved with the same framework and definitions as are used for discrete time. In the new framework a branching dense temporal framework is the basis for specifying both actions and obligations. Finally, all the types of deadlines defined for the discrete temporal framework can also be defined for continuous time. The formalisms are important for enforcing commitments in electronic commerce.