{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:41Z","timestamp":1725542981726},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642113543"},{"type":"electronic","value":"9783642113550"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11355-0_4","type":"book-chapter","created":{"date-parts":[[2010,1,9]],"date-time":"2010-01-09T10:16:18Z","timestamp":1263032178000},"page":"51-67","source":"Crossref","is-referenced-by-count":1,"title":["Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach"],"prefix":"10.1007","author":[{"given":"Henrique","family":"Lopes Cardoso","sequence":"first","affiliation":[]},{"given":"Eug\u00e9nio","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"25","volume-title":"Encyclopedia of Law and Economics. Volume Volume III: The Regulation of Contracts","author":"S.E. Masten","year":"2000","unstructured":"Masten, S.E.: Contractual choice. In: Bouckaert, B., De Geest, G. (eds.) Encyclopedia of Law and Economics. Volume Volume III: The Regulation of Contracts, pp. 25\u201345. Edward Elgar, Cheltenham (2000)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.engappai.2004.11.019","volume":"18","author":"J.L. Arcos","year":"2005","unstructured":"Arcos, J.L., Esteva, M., Noriega, P., Rodr\u00edguez-Aguilar, J.A., Sierra, C.: Environment engineering for multiagent systems. Engineering Applications of Artificial Intelligence\u00a018(2), 191\u2013204 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459010.1459011","volume":"10","author":"A. Artikis","year":"2009","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic\u00a010(1), 1:1\u20131:42 (2009)","journal-title":"ACM Transactions on Computational Logic"},{"key":"4_CR4","unstructured":"Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Padgham, P., M\u00fcller, P. (eds.) 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, pp. 1481\u20131484 (2008)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10506-007-9044-2","volume":"16","author":"H. Lopes Cardoso","year":"2008","unstructured":"Lopes Cardoso, H., Oliveira, E.: Electronic institutions for b2b: Dynamic normative environments. Artificial Intelligence and Law\u00a016(1), 107\u2013128 (2008)","journal-title":"Artificial Intelligence and Law"},{"key":"4_CR6","unstructured":"Modgil, S., Faci, N., Meneguzzi, F., Oren, N., Miles, S., Luck, M.: A framework for monitoring agent-based normative systems. In: Decker, S., Sierra, C. (eds.) Proc. of 8th Int. Conf. on Autonomous Agents and Multiagent Systems. IFAAMAS, Budapest, Hungary, pp. 153\u2013160 (2009)"},{"key":"4_CR7","unstructured":"UNCITRAL: United nations convention on contracts for the international sale of goods, cisg (1980)"},{"key":"4_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"4_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-00443-8_10","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems IV","author":"H. Lopes Cardoso","year":"2009","unstructured":"Lopes Cardoso, H., Oliveira, E.: A context-based institutional normative environment. In: Hubner, J., Matson, E., Boissier, O., Dignum, V. (eds.) Coordination, Organizations, Institutions, and Norms in Agent Systems IV. LNCS (LNAI), vol.\u00a05428, pp. 140\u2013155. Springer, Heidelberg (2009)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Ryu, Y.U.: Relativized deontic modalities for contractual obligations in formal business communication. In: 30th Hawaii International Conference on System Sciences (HICSS), Hawaii, USA, vol.\u00a04, pp. 485\u2013493 (1997)","DOI":"10.1109\/HICSS.1997.663422"},{"key":"4_CR11","volume-title":"Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences","author":"Y.H. Tan","year":"1998","unstructured":"Tan, Y.H., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, vol.\u00a05. IEEE Computer Society, Los Alamitos (1998)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Lopes Cardoso, H., Oliveira, E.: Directed deadline obligations in agent-based business contracts. In: Artikis, A., Vasconcelos, W. (eds.) AAMAS 2009 Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN), Budapest, Hungary, pp. 77\u201392 (2009)","DOI":"10.1007\/978-3-642-14962-7_15"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol.\u00a0B, pp. 995\u20131072. North-Holland Pub. Co.\/MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1145\/222092.222243","volume-title":"Proceedings of the 5th international conference on Artificial intelligence and law","author":"H. Herrestad","year":"1995","unstructured":"Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Proceedings of the 5th international conference on Artificial intelligence and law, College Park, Maryland, United States, pp. 210\u2013218. ACM, New York (1995)"},{"key":"4_CR15","volume-title":"The Construction of Social Reality","author":"J.R. Searle","year":"1995","unstructured":"Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)"},{"key":"4_CR16","first-page":"255","volume-title":"Ninth International Conference on Principles of Knowledge Representation and Reasoning","author":"G. Boella","year":"2004","unstructured":"Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Dubois, D., Welty, C., Williams, M.A. (eds.) Ninth International Conference on Principles of Knowledge Representation and Reasoning, pp. 255\u2013266. AAAI Press, Whistler (2004)"},{"key":"4_CR17","unstructured":"Friedman-Hill, E.: Jess in Action. Manning Publications Co. (2003)"},{"key":"4_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/3-540-45023-8_56","volume-title":"Multi-Agent Systems and Applications III","author":"J. V\u00e1zquez-Salceda","year":"2003","unstructured":"V\u00e1zquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 584\u2013593. Springer, Heidelberg (2003)"},{"key":"4_CR19","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent-mediated Electronic commerce: The European AgentLink Perspective","author":"M. Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specifications of electronic institutions. In: Dignum, F., Sierra, C. (eds.) Agent-mediated Electronic commerce: The European AgentLink Perspective. LNCS (LNAI), vol.\u00a01991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"key":"4_CR20","first-page":"468","volume-title":"Proceedings of The 18th European Conference on Artificial Intelligence (ECAI 2008)","author":"H. Lopes Cardoso","year":"2008","unstructured":"Lopes Cardoso, H., Oliveira, E.: Norm defeasibility in an institutional normative framework. In: Proceedings of The 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, pp. 468\u2013472. IOS Press, Amsterdam (2008)"},{"key":"4_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-47922-8_32","volume-title":"Advances in Artificial Intelligence","author":"M. Sall\u00e9","year":"2002","unstructured":"Sall\u00e9, M.: Electronic contract framework for contractual agents. In: Cohen, R., Spencer, B. (eds.) Canadian AI 2002. LNCS (LNAI), vol.\u00a02338, pp. 349\u2013353. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11355-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T09:00:33Z","timestamp":1685350833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11355-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642113543","9783642113550"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11355-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}