{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:50Z","timestamp":1725511850240},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540790426"},{"type":"electronic","value":"9783540790433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79043-3_4","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T15:20:08Z","timestamp":1209396008000},"page":"57-72","source":"Crossref","is-referenced-by-count":0,"title":["From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions"],"prefix":"10.1007","author":[{"given":"Huib","family":"Aldewereld","sequence":"first","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Aldewereld, H., Dignum, F., Meyer, J.-J.C., V\u00e1zquez-Salceda, J.: Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Utrecht University (2005)","DOI":"10.1145\/1082473.1082738"},{"key":"4_CR2","unstructured":"Aldewereld, H.: Autonomy vs. Conformity: An Institutional Perspective on Norms and Protocols. PhD thesis, Universiteit Utrecht (2007)"},{"key":"4_CR3","first-page":"150","volume-title":"Coordination, Organisation, Institutions and Norms in Agent Systems I","author":"H. Aldewereld","year":"2006","unstructured":"Aldewereld, H., Grossi, D., V\u00e1zquez-Salceda, J., Dignum, F.: Designing normative behaviour via landmarks. In: Bossier, O., et al. (eds.) Coordination, Organisation, Institutions and Norms in Agent Systems I, pp. 150\u2013162. Springer, Heidelberg (2006)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A.R. Anderson","year":"1958","unstructured":"Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"key":"4_CR5","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":"4_CR6","first-page":"1","volume-title":"Proceedings of the 1960 International Conference on Logic, Methodology and Philosophy of Science","author":"J.R. B\u00fcchi","year":"1962","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the 1960 International Conference on Logic, Methodology and Philosophy of Science, pp. 1\u201311. Stanford University Press, Stanford (1962)"},{"key":"4_CR7","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, B., Meyer, J.-J.C.: Programming multi-agent systems in 3apl. In: Bordini, R.H., et al. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, Springer, Berlin (2005)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J.C.: Meeting the deadline: Why, when and how. In: 3rd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland (April 2004)","DOI":"10.1007\/978-3-540-30960-4_3"},{"key":"4_CR9","unstructured":"Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Universiteit Utrecht, The Netherlands (2004)"},{"issue":"3\/4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3\/4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"4_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Transactions On Software Engineering\u00a023(5), 279 (1997)","journal-title":"IEEE Transactions On Software Engineering"},{"key":"4_CR12","series-title":"Lecture Notes in Artificial Intelligence","first-page":"175","volume-title":"Regulated Agent-Based Social Systems","author":"F. L\u00f3pez y L\u00f3pez","year":"2004","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M.: Towards a model of the dynamics of normative multi-agent systems. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol.\u00a02934, pp. 175\u2013194. Springer, Heidelberg (2004)"},{"key":"4_CR13","unstructured":"P.\u00a0Noriega. Agent-Mediated Auctions: The Fishmarket Metaphor. PhD thesis, Inst. d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial (1997)"},{"key":"4_CR14","unstructured":"Rodriguez, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst. d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial (2001)"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-59126-6_6","volume-title":"Handbook of Formal Languages","author":"L. Staiger","year":"1997","unstructured":"Staiger, L.: \u03c9-languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a03, pp. 339\u2013387. Springer-Verlag, Berlin (1997)"},{"key":"4_CR16","volume-title":"Handbook of Theoretical Computer Science, ch. 4","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 4, vol.\u00a0B, Elsevier Science Publishers, Amsterdam (1990)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-44667-2_7","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"P. Wolper","year":"2001","unstructured":"Wolper, P.: Constructing Automata from Temporal Logic Formulas: A Tutorial. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 261\u2013277. Springer-Verlag, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79043-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:36Z","timestamp":1619521776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79043-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540790426","9783540790433"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79043-3_4","relation":{},"subject":[]}}