{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:00:27Z","timestamp":1670652027054},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643683645","type":"print"},{"value":"9781643683652","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,12,5]],"date-time":"2022-12-05T00:00:00Z","timestamp":1670198400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,5]]},"abstract":"<jats:p>Deontic logics have long been the tool of choice for the formal analysis of normative texts. While various such logics have been proposed many deal with time in a qualitative sense, i.e., reason about the ordering but not timing of events, it was only in the past few years that real-time deontic logics have been developed to reason about time quantitatively. In this paper we present timed contract automata, an automata-based deontic modelling approach complementing these logics with a more operational view of such normative clauses and providing a computational model more amenable to automated analysis and monitoring.<\/jats:p>","DOI":"10.3233\/faia220460","type":"book-chapter","created":{"date-parts":[[2022,12,9]],"date-time":"2022-12-09T11:51:25Z","timestamp":1670586685000},"source":"Crossref","is-referenced-by-count":0,"title":["An Automata-Based Formalism for Normative Documents with Real-Time"],"prefix":"10.3233","author":[{"given":"Stefan","family":"Chircop","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Malta, Msida, Malta"}]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Malta, Msida, Malta"}]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Legal Knowledge and Information Systems"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA220460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,9]],"date-time":"2022-12-09T11:51:26Z","timestamp":1670586686000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA220460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,5]]},"ISBN":["9781643683645","9781643683652"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia220460","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12,5]]}}}