Combining dynamic deontic logic and temporal logic for the specification of deadlines

F.P.M. Dignum, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 30th Annual Hawaii Conference on System Sciences (HICSS-30, Maui, Hawaii, USA, January 7-10, 1997)
EditorsR. Sprangue
PublisherIEEE Computer Society
Pages336-346
Volume5
ISBN (Print)0-8186-7734-1
DOIs
Publication statusPublished - 1997

Cite this