{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:23:01Z","timestamp":1768555381752,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540244226","type":"print"},{"value":"9783540309604","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_3","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:19:26Z","timestamp":1267107566000},"page":"30-40","source":"Crossref","is-referenced-by-count":35,"title":["Meeting the Deadline: Why, When and How"],"prefix":"10.1007","author":[{"given":"Frank","family":"Dignum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Broersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virginia","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N. Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: A canonical form for agentives. Theoria\u00a054, 175\u2013199 (1988)","journal-title":"Theoria"},{"key":"3_CR2","first-page":"47","volume-title":"Deontic logic, agency, and normative systems. Proceedings DEON 1996, Workshops in Computing","author":"M.A. Brown","year":"1996","unstructured":"Brown, M.A.: Doing as we ought: towards a logic of simply dischargeable obligations. In: Brown, M.A., Carmo, J. (eds.) Deontic logic, agency, and normative systems. Proceedings DEON 1996, Workshops in Computing, pp. 47\u201365. Springer, Heidelberg (1996)"},{"issue":"2","key":"3_CR3","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2) (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-58043-3_19","volume-title":"A Decade of Concurrency","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.: Verification tools for finite-state concurrent systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 124\u2013175. Springer, Heidelberg (1994)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: Proceedings of thirty-First HICSS, Hawaii (1998)","DOI":"10.1109\/HICSS.1998.648312"},{"issue":"2","key":"3_CR6","first-page":"1","volume":"2","author":"D. Elgesem","year":"1997","unstructured":"Elgesem, D.: The modal logic of agency. Nordic Journal of Philosophical Logic\u00a02(2), 1\u201346 (1997)","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"3_CR7","first-page":"996","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, vol.\u00a014, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Hilpinen, R.: On action and agency. In: Ejerhed, E., Lindstr\u00f6m, S. (eds.) Logic, Action and Cognition: Essays in Philosophical Logic, pp. 3\u201327. Kluwer Academic Publishers (1997)","DOI":"10.1007\/978-94-011-5524-3_1"},{"key":"3_CR9","first-page":"275","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"A.J.I. Jones","year":"1993","unstructured":"Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: The normative sytems perspective. In: Meyer, J.-J.Ch., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 275\u2013307. John Wiley and Sons, England (1993)"},{"key":"3_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1268-3","volume-title":"Action Theory and Social Science: Some Formal Models","author":"I. P\u00f3rn","year":"1977","unstructured":"P\u00f6rn, I.: Action Theory and Social Science: Some Formal Models. D. Reidel Publishing Company, Dordrecht (1977)"},{"key":"3_CR11","unstructured":"Meyer, J.-J.Ch., Dignum, F., Wieringa, R., Weigand, H.: The inheritance of dynamic and deontic integrity constraints. In: Anals of Mathematics and Artificial Intelligence, vol.\u00a03"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF00262940","volume":"18","author":"K. Segerberg","year":"1989","unstructured":"Segerberg, K.: Bringing it about. Journal of Philosophical Logic\u00a018(4), 327\u2013347 (1989)","journal-title":"Journal of Philosophical Logic"},{"key":"3_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-45133-4_4","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2003","unstructured":"Dignum, F., Weigand, H., Dignum, V., Meyer, J.J.: Formal specification of interaction in agent societies. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 37\u201352. Springer, Heidelberg (2003)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Verharen, E., Weigand, H., Dignum, F.: Dynamic business models as a basis for interoperable transaction design. Information Systems\u00a022(2)","DOI":"10.1016\/S0306-4379(97)00010-0"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind.\u00a060, 1\u201315 (1951)","journal-title":"Mind."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:47:45Z","timestamp":1558856865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}