{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:38:49Z","timestamp":1774946329283,"version":"3.50.1"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T00:00:00Z","timestamp":1220400000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1007\/s10458-008-9059-4","type":"journal-article","created":{"date-parts":[[2008,9,2]],"date-time":"2008-09-02T15:21:34Z","timestamp":1220368894000},"page":"186-217","source":"Crossref","is-referenced-by-count":40,"title":["Constraint rule-based programming of norms for electronic institutions"],"prefix":"10.1007","volume":"18","author":[{"given":"Andr\u00e9s","family":"Garc\u00eda-Camino","sequence":"first","affiliation":[]},{"given":"Juan A.","family":"Rodr\u00edguez-Aguilar","sequence":"additional","affiliation":[]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[]},{"given":"Wamberto","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,3]]},"reference":[{"key":"9059_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N.R. Jennings","year":"1998","unstructured":"Jennings N.R., Sycara K., Wooldridge M. (1998) A roadmap of agent research and development. Journal of Agents and Multi-Agents Systems 1: 7\u201338","journal-title":"Journal of Agents and Multi-Agents Systems"},{"key":"9059_CR2","volume-title":"The complexity of cooperation: Agent-based models of competition and collaboration. Princeton studies in complexity","author":"R. Axelrod","year":"1997","unstructured":"Axelrod R. (1997) The complexity of cooperation: Agent-based models of competition and collaboration. Princeton studies in complexity. Princeton University, New Jersey"},{"issue":"1","key":"9059_CR3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum F. (1999) Autonomous agents with norms. Artificial Intelligence and Law 7(1): 69\u201379","journal-title":"Artificial Intelligence and Law"},{"key":"9059_CR4","unstructured":"L\u00f3pez y L\u00f3pez, F. (2003). Social power and norms: Impact on agent behaviour. PhD thesis, University of Southampton."},{"key":"9059_CR5","volume-title":"An introduction to multiagent systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge M. (2002) An introduction to multiagent systems. Wiley, Chichester, UK"},{"issue":"4","key":"9059_CR6","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M. Sergot","year":"2001","unstructured":"Sergot M. (2001) A computational theory of normative positions. ACM Transactions on Computational Logic 2(4): 581\u2013622","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1\u20132","key":"9059_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(94)00007-N","volume":"73","author":"Y. Shoham","year":"1995","unstructured":"Shoham Y., Tennenholtz M. (1995) On social laws for artificial agent societies: Off-line design. Artificial Intelligence 73(1\u20132): 231\u2013252","journal-title":"Artificial Intelligence"},{"key":"9059_CR8","doi-asserted-by":"crossref","unstructured":"Artikis, A., Kamara, L., Pitt, J., & Sergot, M. (2005). A protocol for resource sharing in norm-governed Ad Hoc networks. In Declarative agent languages and technologies II(Vol. 3476 of LNCS). Springer-Verlag.","DOI":"10.1007\/11493402_13"},{"key":"9059_CR9","unstructured":"Cranefield, S. (2005). A rule language for modelling and monitoring social expectations in multi-agent systems. Technical Report 2005\/01, University of Otago."},{"key":"9059_CR10","unstructured":"Fornara, N., Vigan\u00f2, F., & Colombetti, M. (2005). An event driven approach to norms in artificial institutions. In AAMAS05 Workshop: Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM). Utrecht."},{"key":"9059_CR11","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., & Rodr\u00edguez-Aguilar, J.A. (2005). Implementing norms in electronic institutions. In Proceedings of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201905) (pp. 667\u2013673). Utrecht, The Nederlands.","DOI":"10.1145\/1082473.1082575"},{"key":"9059_CR12","unstructured":"Michael, L., Parkes, D.C., & Pfeffer, A. (2004). Specifying and monitoring market mechanisms using rights and obligations. In Proceedings AAMAS Workshop on Agent Mediated Electronic Commerce (AMEC VI). New York, USA."},{"issue":"3","key":"9059_CR13","first-page":"1","volume":"8","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno M., Luck M. (1998) Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation 8(3): 1\u201327","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9059_CR14","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham Y. (1993) Agent-oriented programming. Artificial Intelligence 60(1): 51\u201392","journal-title":"Artificial Intelligence"},{"key":"9059_CR15","doi-asserted-by":"crossref","unstructured":"Searle J. (1969). Speech acts, an essay in the philosophy of language. Cambridge University Press.","DOI":"10.1017\/CBO9781139173438"},{"issue":"20","key":"9059_CR16","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar J., Maher M.J. (1994) Constraint logic programming: A survey. Journal of Logic Programming 19(20): 503\u2013581","journal-title":"Journal of Logic Programming"},{"key":"9059_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with constraints: An introduction","author":"K. Mariott","year":"1998","unstructured":"Mariott K., Stuckey P.J. (1998) Programming with constraints: An introduction. MIT Press, USA"},{"key":"9059_CR18","unstructured":"Noriega, P. (1997). Agent-mediated auctions: The fishmarket metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997) Number 8 in IIIA Monograph Series."},{"key":"9059_CR19","unstructured":"Rodr\u00edguez-Aguilar, J.A. (2001). On the design and construction of agent-mediated electronic institutions. PhD thesis, Universitat Autonoma de Barcelona (2001) Number 14 in IIIA Monograph Series."},{"key":"9059_CR20","unstructured":"Esteva, M. (2003). Electronic Institutions: from specification to development. PhD thesis, Universitat Politecnica de Catalunya (2003) Number 19 in IIIA Monograph Series."},{"key":"9059_CR21","unstructured":"H\u00fcbner, J.F., Sichman, J.S., & Boissier, O. (2005). S-MOISE+: A middleware for developing organised multi-agent systems. In Proceedings of the International Workshop on Organizations in Multi-Agent Systems: From Organizations to Organization-Oriented Programming (OOOP\u201905). Utrecht, The Netherlands."},{"key":"9059_CR22","unstructured":"McCallum, M. (2006). MOCHA: Modelling organisational change using agents. PhD thesis, Department of Computing Science, University of Aberdeen, Aberdeen, United Kingdom."},{"key":"9059_CR23","volume-title":"From logic programming to Prolog","author":"K.R. Apt","year":"1997","unstructured":"Apt K.R. (1997) From logic programming to Prolog. Prentice-Hall, UK"},{"key":"9059_CR24","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.A., Sierra, C., & Vasconcelos, W. (2006). A distributed architecture for norm-aware agent societies. In M. Baldoni et\u00a0al. (Eds.), Declarative agent languages and technologies III (Vol. 3904 of Lecture Notes in Artificial Intelligence (LNAI) pp. 89\u2013105). Berlin Heidelberg: Springer.","DOI":"10.1007\/11691792_6"},{"issue":"5","key":"9059_CR25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/1124566.1124571","volume":"5","author":"A. Garc\u00eda-Camino","year":"2006","unstructured":"Garc\u00eda-Camino A., Rodr\u00edguez-Aguilar J.A., Sierra C., Vasconcelos W. (2006) A rule-based approach to norm-oriented programming of electronic institutions. ACM SIGecom Exchanges 5(5): 33\u201340","journal-title":"ACM SIGecom Exchanges"},{"key":"9059_CR26","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.A., Sierra, C., & Vasconcelos, W. (2006). Norm oriented programming of electronic institutions. In Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201906).","DOI":"10.1145\/1160633.1160750"},{"key":"9059_CR27","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.A., Sierra, C., & Vasconcelos, W. (2006). Norm-oriented programming of electronic institutions: A rule-based pproach. In Coordination, Organization, Institutions and Norms in agent systems (COIN\u201906) in 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201906).","DOI":"10.1145\/1124566.1124571"},{"key":"9059_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-order logic and utomated theorem proving","author":"M. Fitting","year":"1990","unstructured":"Fitting M. (1990) First-order logic and utomated theorem proving. Springer-Verlag, New York USA"},{"key":"9059_CR29","unstructured":"Tsang, E.P.K. (1993). Foundations of constraint atisfaction. Academic Press. Available at http:\/\/www.bracil.net\/edward\/FCS.html ."},{"key":"9059_CR30","unstructured":"Kramer, B., & Mylopoulos, J. (1992). Knowledge representation. In S. C. Shapiro (Ed.), Encyclopedia of Artificial Intelligence (Vol. 1, pp. 743\u2013759). Wiley & Sons."},{"key":"9059_CR31","unstructured":"Swedish Institute of Computer Science: SICStus Prolog. (2006). http:\/\/www.sics.se\/sicstus , viewed on 10 Feb 2006\u00a0at 18.16 GMT."},{"key":"9059_CR32","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511808678","volume-title":"Institutions, institutional change and economics performance","author":"D.C. North","year":"1990","unstructured":"North D. C. (1990) Institutions, institutional change and economics performance. University Press, Cambridge"},{"key":"9059_CR33","unstructured":"Esteva, M., Rosell, B., Rodr\u00edguez-Aguilar, J.A., & Arcos, J.L. (2004). AMELI: An agent-based middleware for electronic institutions. In Proceedings of 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904) (pp. 236\u2013243). ACM (2004)"},{"key":"9059_CR34","unstructured":"Cun\u00ed, G., Esteva, M., Garcia, P., Puertas, E., Sierra, C., & Solchaga, T. (2004). MASFIT: Multi-agent system for fish trading. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004) (pp. 710\u2013714). Valencia, Spain (2004)."},{"issue":"2\u20134","key":"9059_CR35","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1023\/B:AMAI.0000031194.57352.e7","volume":"41","author":"W.W. Vasconcelos","year":"2004","unstructured":"Vasconcelos W.W., Robertson D., Sierra C., Esteva M., Sabater J., Wooldridge M. (2004) Rapid prototyping of large multi-agent systems through logic programming. Annals of Mathematics and Artificial Intelligence 41(2\u20134): 135\u2013169","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9059_CR36","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., & Dignum, F. (2004). Implementing norms in multiagent systems. In Multiagent System Technologies: Second German Conference, MATES 2004 (Vol. 3187 of LNAI., pp. 313\u2013327). Erfurt, Germany: Springer-Verlag (2004).","DOI":"10.1007\/978-3-540-30082-3_23"},{"key":"9059_CR37","unstructured":"Dignum, V., Meyer, J.J., Dignum, F., & Weigand, H. (2002). Formal specification of interaction in agent societies. In 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems. Maryland (2002)."},{"key":"9059_CR38","doi-asserted-by":"crossref","unstructured":"Hughes, G.E., & Cresswell, M.J. (1996). A new introduction to modal logic. Routledge.","DOI":"10.4324\/9780203290644"},{"key":"9059_CR39","doi-asserted-by":"crossref","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M., & d\u2019Inverno, M. (2002). Constraining autonomy through norms. In Proceedings 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201902) (pp. 674\u2013681). Bologna, Italy: ACM Press.","DOI":"10.1145\/544862.544905"},{"key":"9059_CR40","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., & Sergot, M.J. (1986). A logic-based calculus of events. New Generation Computing, 4(1), 67\u201396. Reprinted in C. Thanos & J.W. Schmidt (Eds.) (1989). Foundations of Knowledge Based Management Systems (pp. 23\u201353). Heidelberg: Springer-Verlag.","DOI":"10.1007\/BF03037383"},{"key":"9059_CR41","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2003). Specification and verification of agent interactions using integrity social constraints. Technical Report DEIS-LIA-006-03, Universit\u00e0 degli Studi di Bologna (2003)."},{"key":"9059_CR42","unstructured":"Conte, R., & Castelfranchi, C. (1995). Understanding the functions of norms in social groups through simulation. In N. Gilbert & R. Conte (Eds.), Artificial Societies. The Computer Simulation of Social Life (pp. 252\u2013267). London: UCL Press."},{"key":"9059_CR43","unstructured":"Conte, R., & Castelfranchi, C. (1993). Norms as mental objects: From normative beliefs to normative goals. In Proceedings of MAAMAW\u201993. Neuchatel, Switzerland (1993)."},{"key":"9059_CR44","first-page":"41","volume":"5","author":"R. Tuomela","year":"1995","unstructured":"Tuomela R., Bonnevier-Tuomela M. (1995) Norms and agreement. European Journal of Law, Philosophy and Computer Science 5: 41\u201346","journal-title":"European Journal of Law, Philosophy and Computer Science"},{"key":"9059_CR45","unstructured":"Walker, A., & Wooldridge, M. (1995). Understanding the emergence of conventions in multi-agent systems. In Proceedings International Joint Conference on Multi-Agent Systems (ICMAS) (pp. 384\u2013389). San Francisco, USA."},{"key":"9059_CR46","volume-title":"Norm and action: A logical inquiry","author":"G.H. Wright von","year":"1963","unstructured":"von Wright G.H. (1963) Norm and action: A logical inquiry. Routledge and Kegan Paul, London"},{"key":"9059_CR47","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-94-009-8484-4_4","volume-title":"New Studies in Deontic Logics","author":"C.E. Alchourron","year":"1981","unstructured":"Alchourron C.E., Bulygin E. (1981) The expressive conception of norms. In: Hilpinen R.(eds) New Studies in Deontic Logics. D Reidel, London, pp 95\u2013124"},{"key":"9059_CR48","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., & Nute, D. (Eds.). (2004). In Proceedings of the 7th International Workshop on Deontic Logic in Computer Science (DEON\u201904) (Vol. 3065 of Lecture Notes in Artificial Intelligence). Springer-Verlag.","DOI":"10.1007\/b98159"},{"key":"9059_CR49","doi-asserted-by":"crossref","unstructured":"Boella, G., & van der Torre, L. (2003). Permission and obligations in hierarchical normative systems. In Proceedings 8th International Conference in AI & Law (ICAIL\u201903). ACM: Edinburgh.","DOI":"10.1145\/1047788.1047818"},{"key":"9059_CR50","unstructured":"Fornara, N., Vigan\u00f2, F., & Colombetti, M. (2004). A communicative act library in the context of artificial institutions. In 2nd European Workshop on Multi-Agent Systems (pp. 223\u2013234). Barcelona."},{"key":"9059_CR51","unstructured":"OMG (2005). Unified modelling language. http:\/\/www.uml.org ."},{"key":"9059_CR52","doi-asserted-by":"crossref","unstructured":"L\u00f3pez y L\u00f3pez, F., & Luck, M. (2004). A model of normative multi-agent systems and dynamic relationships. In Regulated agent-based social systems (Vol. 2934 of LNAI, pp. 259\u2013280). Springer-Verlag.","DOI":"10.1007\/978-3-540-25867-4_16"},{"key":"9059_CR53","doi-asserted-by":"crossref","unstructured":"Stratulat, T., Cl\u00e9rin-Debart, F., & Enjalbert, P. (2001). Norms and time in agent-based systems. In Proceedings 8th International Conference on AI & Law (ICAIL\u201901) (pp. 178\u2013185). St. Louis, Missouri, USA.","DOI":"10.1145\/383535.383556"},{"key":"9059_CR54","unstructured":"Kollingbaum, M.J. (2005). Norm-governed practical reasoning agents. PhD thesis, Department of Computing Science, University of Aberdeen, United Kingdom."},{"key":"9059_CR55","unstructured":"Kollingbaum, M. J., & Norman, T. J. (2003). NoA\u2014a normative agent architecture. In Proceedings 18th International Joint Conference on Artificial Intelligence (IJCAI) (pp. 1465\u20131466). Acapulco, Mexico: AAAI Press."},{"key":"9059_CR56","doi-asserted-by":"crossref","unstructured":"Kollingbaum, M. J., & Norman, T. J. (2003). Norm adoption in the NoA agent architecture. In Proceedings 2nd International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS\u201903). Melbourne, Australia, USA: ACM.","DOI":"10.1145\/860575.860784"},{"key":"9059_CR57","volume-title":"The Java programming Language","author":"J. Gosling","year":"1996","unstructured":"Gosling J. (1996) The Java programming Language. Addison-Wesley, Reading"},{"key":"9059_CR58","unstructured":"Sandia Nat\u2019l Labs: Jess. The Rule Engine for Java. (2006) http:\/\/www.jessrules.com , viewed on 15 Mar 2006\u00a0at 17.50 GMT."},{"key":"9059_CR59","doi-asserted-by":"crossref","unstructured":"Lopes Cardoso, H., & Oliveira, E. (2005). Towards an institutional environment using norms for contract performance. In Multi-Agent Systems and Applications IV co-located with 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005) (Vol. 3690 of LNAI., pp. 256\u2013265). Springer-Verlag.","DOI":"10.1007\/11559221_26"},{"key":"9059_CR60","unstructured":"Vasconcelos, W. W. (2004). Norm verification and analysis of electronic institutions. In Declarative agent languages and technologies II (Vol. 3476 of LNAI). New York, USA: Springer-Verlag."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-008-9059-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-008-9059-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-008-9059-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:28:24Z","timestamp":1559136504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-008-9059-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,3]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["9059"],"URL":"https:\/\/doi.org\/10.1007\/s10458-008-9059-4","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,3]]}}}