{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T05:34:12Z","timestamp":1738992852265,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004421"},{"type":"electronic","value":"9783642004438"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00443-8_10","type":"book-chapter","created":{"date-parts":[[2009,3,9]],"date-time":"2009-03-09T06:01:16Z","timestamp":1236578476000},"page":"140-155","source":"Crossref","is-referenced-by-count":10,"title":["A Context-Based Institutional Normative Environment"],"prefix":"10.1007","author":[{"given":"Henrique Lopes","family":"Cardoso","sequence":"first","affiliation":[]},{"given":"Eug\u00e9nio","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","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\u00eduez-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"},{"key":"10_CR2","first-page":"1053","volume-title":"International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Johnson, W.L. (eds.) International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, pp. 1053\u20131062. ACM Press, New York (2002)"},{"issue":"1","key":"10_CR3","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":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-79003-7_3","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III","author":"H. Lopes Cardoso","year":"2008","unstructured":"Lopes Cardoso, H., Oliveira, E.: A contract model for electronic institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol.\u00a04870, pp. 27\u201340. Springer, Heidelberg (2008)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1142\/S0218843007001573","volume":"16","author":"H. Lopes Cardoso","year":"2007","unstructured":"Lopes Cardoso, H., Oliveira, E.: Institutional reality and norms: Specifying and monitoring agent organizations. International Journal of Cooperative Information Systems\u00a016(1), 67\u201395 (2007)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"10_CR6","series-title":"The Regulation of Contracts","first-page":"1","volume-title":"Encyclopedia of Law and Economics","author":"R. Craswell","year":"2000","unstructured":"Craswell, R.: Contract law: General theories. In: Bouckaert, B., De Geest, G. (eds.) Encyclopedia of Law and Economics. The Regulation of Contracts, vol.\u00a0III, pp. 1\u201324. Edward Elgar, Cheltenham (2000)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (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":"10_CR9","series-title":"LNCS (LNAI)","first-page":"126","volume-title":"COIN 2008","author":"J. Campos","year":"2008","unstructured":"Campos, J., L\u00f3pez-S\u00e1nchez, M., Rodr\u00edguez-Aguilar, J.A., Esteva, M.: Formalising situatedness and adaptation in electronic institutions. In: Hubner, J.F., et al. (eds.) COIN 2008. LNCS (LNAI), vol.\u00a05428, pp. 126\u2013139. Springer, Heidelberg (2008)"},{"key":"10_CR10","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)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic Journal of the IGPL\u00a04(3), 427\u2013443 (1996)","journal-title":"Logic Journal of the IGPL"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","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":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-30960-4_2","volume-title":"Formal Approaches to Agent-Based Systems","author":"D. Grossi","year":"2004","unstructured":"Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 12\u201329. Springer, Heidelberg (2004)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11533092_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"D. Grossi","year":"2005","unstructured":"Grossi, D., Dignum, F., Meyer, J.J.C.: Contextual taxonomies. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 33\u201351. Springer, Heidelberg (2005)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-74459-7_5","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"O. Cliffe","year":"2007","unstructured":"Cliffe, O., De Vos, M., Padget, J.: Specifying and reasoning about multiple institutions. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 67\u201385. Springer, Heidelberg (2007)"},{"key":"10_CR16","first-page":"948","volume-title":"Third International Joint Conference on Autonomous Agents and Multi Agent Systems","author":"G. Boella","year":"2004","unstructured":"Boella, G., van der Torre, L.: Contracts as legal institutions in organizations of autonomous agents. In: Jennings, N., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Third International Joint Conference on Autonomous Agents and Multi Agent Systems, vol.\u00a02, pp. 948\u2013955. ACM Press, New York (2004)"},{"issue":"1\/2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1\/2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-1-4471-1488-8_10","volume-title":"Deontic Logic, Agency and Normative Systems (Workshops in Computing)","author":"L. Royakkers","year":"1996","unstructured":"Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In: Brown, M., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems (Workshops in Computing), pp. 174\u2013193. Springer, Heidelberg (1996)"},{"issue":"2-3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00114921","volume":"1","author":"G. Sartor","year":"1992","unstructured":"Sartor, G.: Normative conflicts in legal reasoning. Artificial Intelligence and Law\u00a01(2-3), 209\u2013235 (1992)","journal-title":"Artificial Intelligence and Law"},{"key":"10_CR20","first-page":"371","volume-title":"Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI 1994)","author":"L. Torre van der","year":"1994","unstructured":"van der Torre, L.: Violated obligations in a defeasible deontic logic. In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI 1994), pp. 371\u2013375. John Wiley and Sons, Amsterdam (1994)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.A.: An algorithm for conflict resolution in regulated compound activities. In: Seventh Annual International Workshop Engineering Societies in the Agents World (ESAW 2006) (2006)","DOI":"10.1007\/978-3-540-75524-1_11"},{"key":"10_CR22","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. Information Systems Track - Internet and the Digital Economy, vol.\u00a04, p. 485 (1997)","DOI":"10.1109\/HICSS.1997.663422"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"B.N. Grosof","year":"2004","unstructured":"Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in ruleml. Electronic Commerce Research and Applications\u00a03(1), 2\u201320 (2004)","journal-title":"Electronic Commerce Research and Applications"},{"issue":"2-3","key":"10_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in ruleml. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Giannikis, G.K., Daskalopulu, A.: Defeasible reasoning with e-contracts. In: IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, pp. 690\u2013694 (2006)","DOI":"10.1109\/IAT.2006.51"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-540-74459-7_12","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"A. Garc\u00eda-Camino","year":"2007","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Norm-oriented programming of electronic institutions: A rule-based approach. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 177\u2013193. Springer, Heidelberg (2007)"},{"key":"10_CR27","unstructured":"Friedman-Hill, E.: Jess in Action. Manning Publications Co. (2003)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions and Norms in Agent Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00443-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T02:52:43Z","timestamp":1738983163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00443-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004421","9783642004438"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00443-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}