Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic

Frank Dignum, Ruurd Kuiper. Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Int. J. Electronic Commerce, 3(2):67-85, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.