{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:00:42Z","timestamp":1768554042254,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540351733","type":"print"},{"value":"9783540351764","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11775331_11","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:59:12Z","timestamp":1148551152000},"page":"157-169","source":"Crossref","is-referenced-by-count":8,"title":["Designing Normative Behaviour Via Landmarks"],"prefix":"10.1007","author":[{"given":"Huib","family":"Aldewereld","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Grossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F., Meyer, J.-J.C.: Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Institute of Information and Computing Sciences, Utrecht University (2005)","DOI":"10.1145\/1082473.1082738"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"22","author":"A.R. Anderson","year":"1958","unstructured":"Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind\u00a022, 100\u2013103 (1958)","journal-title":"Mind"},{"key":"11_CR3","unstructured":"Boella, G., Lesmo, L.: Deliberative normative agents. In: Dellarocas, C., Conte, R. (eds.) Workshop on Norms and Institutions in Multi-Agent Systems, pp. 15\u201325. ACM-AAAI, ACM Press (2000)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.P.M., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10719619_27","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"C. Castelfranchi","year":"2000","unstructured":"Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative Normative Agents: Principles and architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol.\u00a01757, Springer, Heidelberg (2000)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2) (1986)","DOI":"10.1145\/5397.5399"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"11_CR8","unstructured":"Dignum, F.: Abstract norms and electronic institutions. In: Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA 2002), Bologna, pp. 93\u2013104 (2002)"},{"key":"11_CR9","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.P.M. Dignum","year":"2004","unstructured":"Dignum, F.P.M., 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, vol.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"issue":"3-4","key":"11_CR10","first-page":"407","volume":"2","author":"F. Dignum","year":"2002","unstructured":"Dignum, F., Kinny, D., Sonenberg, L.: From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly\u00a02(3-4), 407\u2013430 (2002)","journal-title":"Cognitive Science Quarterly"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Sprague Jr., R. (ed.) Proc. of 13th HICSS (1997)","DOI":"10.1109\/HICSS.1997.663191"},{"key":"11_CR12","unstructured":"Dignum, V.: A Model for Organizational Interaction. SIKS Dissertation Series (2003)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","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":"V. Dignum","year":"2003","unstructured":"Dignum, V., Meyer, J.-J., Dignum, F.P.M., Weigand, H.: 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, vol.\u00a02699, pp. 37\u201352. Springer, Heidelberg (2003)"},{"key":"11_CR14","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, ch. 14, pp. 996\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"11_CR15","unstructured":"Grossi, D., Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. In: 1st International Symposium on Normative Multiagent Systems, NorMAS 2005 (accepted, 2005)"},{"key":"11_CR16","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.P.M.: 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, vol.\u00a03228, pp. 12\u201329. Springer, Heidelberg (2004)"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, pp. 497\u2013604. Reidel, Dordrecht (1984)"},{"issue":"2","key":"11_CR18","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1111\/1467-8640.00187","volume":"18","author":"S. Kumar","year":"2002","unstructured":"Kumar, S., Huber, M.J., Cohen, P.R., McGee, D.: Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence\u00a018(2), 174\u2013228 (2002)","journal-title":"Computational Intelligence"},{"key":"11_CR19","volume-title":"Deontic Logic in Computer Science: Normative Systems Specification","author":"J.-J.C. Meyer","year":"1991","unstructured":"Meyer, J.-J.C., Wieringa, R.J.: Deontic Logic in Computer Science: Normative Systems Specification. John Wiley and Sons, Chichester (1991)"},{"key":"11_CR20","unstructured":"Teepe, W.: New protocols for proving knowledge of arbitrary secrets while not giving them away. In: van Otterloo, S., McBurney, P., van der Hoek, W., Wooldridge, M. (eds.) Proceedings of the 1st Knowledge and Games Workshop, Liverpool, July 2004, pp. 99\u2013116 (2004)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-30082-3_23","volume-title":"Multiagent System Technologies","author":"J. V\u00e1zquez-Salceda","year":"2004","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS, vol.\u00a03187, pp. 313\u2013327. Springer, Heidelberg (2004)"},{"key":"11_CR22","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Dignum, F.: Norms in multiagent systems: some implementation guidelines. In: Second European Workshop on Multi-Agent Systems (EUMAS 2004), Barcelona (December 2004)"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Technical report, Institute of Information and Computing Sciences, Utrecht University (2004)","DOI":"10.1007\/s10458-005-1673-9"},{"key":"11_CR24","first-page":"507","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-oriented software engineering. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, vol.\u00a01, pp. 507\u2013522. World Scientific Publishing Co., Singapore (2002)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11775331_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T09:57:14Z","timestamp":1683453434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11775331_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540351733","9783540351764"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11775331_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}