{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:15Z","timestamp":1725664275235},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612865"},{"type":"electronic","value":"9783540684404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61286-6_149","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:23:37Z","timestamp":1330291417000},"page":"243-252","source":"Crossref","is-referenced-by-count":13,"title":["Meeting the deadline: On the formal specification of temporal deontic constraints"],"prefix":"10.1007","author":[{"given":"F.","family":"Dignum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Weigand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Verharen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"L. \u00c5qvist. Deontic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 605\u2013714. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0_11"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"23_CR3","series-title":"LNCS 224","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BFb0027040","volume-title":"Current Trends in Concurrency: Overviews and Tutorials","author":"J.W. Bakker de","year":"1986","unstructured":"J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.I. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51\u2013121. LNCS 224 Springer, Berlin, 1986."},{"key":"23_CR4","first-page":"75","volume-title":"Toward a Logic for Qualitative Decision Theory","author":"C. Boutilier","year":"1994","unstructured":"C. Boutilier Toward a Logic for Qualitative Decision Theory. In JonDoyle, Erik Sandewall and Fietrotorasso (eds.), Principles of Knowledge Representation and Reasoning, proceedings of the fourth international conference, pages 75\u201386, 1994, Morgan Kaufmann Publishers, San Francisco, California."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(86)90040-X","volume":"45","author":"M. Broy","year":"1986","unstructured":"M. Broy. A theory for nondeterminism, parallelism, communication and concurrency. In Theoretical Computer Science, vol.45, pages 1\u201362, 1986.","journal-title":"Theoretical Computer Science"},{"key":"23_CR6","first-page":"61","volume-title":"Semantics for Concurrency, Leicester 1990","author":"F. Dignum","year":"1990","unstructured":"F. Dignum and J.-J.Ch. Meyer. Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In M. Kwiatkowska, M.W. Shields, and R.M. Thomas, editors, Semantics for Concurrency, Leicester 1990, pages 61\u201380, Springer, Berlin, 1990."},{"key":"23_CR7","first-page":"107","volume-title":"Contextual permission. a solution to the free choice paradox","year":"1994","unstructured":"Contextual permission. a solution to the free choice paradox. In A. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science, pages 107\u2013135, Oslo, 1994. Tano A.S."},{"key":"23_CR8","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1989","unstructured":"E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995\u20131072, North-Holland, Amsterdam, 1989."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specification. In Journal of Logic and Computation, 1 (3), 1991.","DOI":"10.1093\/logcom\/1.3.357"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"D. Harel. First Order Dynamic Logic. LNCS 68 Springer, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-1-4471-1488-8_6","volume-title":"Deontic Logic, Agency and Normative Systems","author":"J.F. Horty","year":"1996","unstructured":"J.F. Horty. Combining Agency and Obligation. In M. Brown and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, pages 98\u2013122, Springer-Verlag, Berlin, 1996."},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J. Meyer","year":"1988","unstructured":"J.-J.Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame, vol.29, pages 109\u2013136, 1988.","journal-title":"Notre Dame"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"R. Thomason. Deontic Logic as founded on tense logic. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 165\u2013176, D.Reidel Publishing Company, 1981.","DOI":"10.1007\/978-94-009-8484-4_7"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"G.H. von Wright. Deontic logic. In Mind, vol.60, pages 1\u201315, 1951.","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61286-6_149.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:59Z","timestamp":1605647099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61286-6_149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612865","9783540684404"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61286-6_149","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}