{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:32:19Z","timestamp":1768559539988,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221241","type":"print"},{"value":"9783540259329","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25932-9_13","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:16:46Z","timestamp":1280261806000},"page":"243-262","source":"Crossref","is-referenced-by-count":10,"title":["Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study"],"prefix":"10.1007","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Global Computing: Co-operation of Autonomous and Mobile Entities in Dynamic Environments, http:\/\/www.cordis.lu\/ist\/fetgc.htm"},{"key":"13_CR2","unstructured":"Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees, http:\/\/lia.deis.unibo.it\/Research\/SOCS\/"},{"key":"13_CR3","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence","author":"F. Sadri","year":"2003","unstructured":"Sadri, F., Toni, F., Torroni, P.: Minimally intrusive negotiating agents for resource sharing. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"13_CR4","first-page":"19","volume-title":"Proceedings of the 5th Scandinavian Conference on Artificial Intelligence","author":"C. Krogh","year":"1995","unstructured":"Krogh, C.: Obligations in multiagent systems. In: Aamodt, A., Komorowski, J. (eds.) Proceedings of the 5th Scandinavian Conference on Artificial Intelligence, Trondheim, Norway, pp. 19\u201330. ISO Press, Amsterdam (1995)"},{"key":"13_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-39853-0_24","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An Abductive Interpretation for Open Societies. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol.\u00a02829, pp. 287\u2013299. Springer, Heidelberg (2003)"},{"key":"13_CR6","first-page":"234","volume-title":"Proceedings of the 6th International Conference on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: Levi, G., Martelli, M. (eds.) Proceedings of the 6th International Conference on Logic Programming, pp. 234\u2013255. MIT Press, Cambridge (1989)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence\u00a025, 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D.L. Poole","year":"1988","unstructured":"Poole, D.L.: A logical framework for default reasoning. Artificial Intelligence\u00a036, 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming\u00a033, 151\u2013165 (1997)","journal-title":"Journal of Logic Programming"},{"key":"13_CR10","unstructured":"Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Logic Based Semantics for an Agent Communication Language. In: Dunin-Keplicz, B., Verbrugge, R. (eds.) Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), Warsaw, Poland, pp. 21\u201336 (2003)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/544862.544867","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II, pp. 527\u2013534. ACM Press, New York (2002)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/544862.544873","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II","author":"F. Guerin","year":"2002","unstructured":"Guerin, F., Pitt, J.: Proving properties of open agent systems. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II, pp. 557\u2013558. ACM Press, New York (2002)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Pitt, J., Guerin, F.: Guaranteeing properties for e-commerce systems. Technical Report TRS020015, Department of Electrical and Electronic Engineering, Imperial College, London, UK (2002)","DOI":"10.1007\/3-540-36378-5_16"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Hume, D.: An Enquiry Concerning Human Understanding (1748)","DOI":"10.1093\/oseo\/instance.00032980"},{"key":"13_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-45757-7_35","volume-title":"Logics in Artificial Intelligence","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 419\u2013431. Springer, Heidelberg (2002)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Alberti, M., Daolio, D., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Proceedings of the 19th ACM Symposium on Applied Computing (SAC). Special Track on Agents, Interactions, Mobility, and Systems (AIMS), pp. 72\u201378 (2004)","DOI":"10.1145\/967900.967918"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming\u00a037, 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"13_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Electronic Commerce","author":"M. Esteva","year":"2001","unstructured":"Esteva, M., Rodriguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol.\u00a01991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/10720026_2","volume-title":"Agent Mediated Electronic Commerce II","author":"C. Dellarocas","year":"2000","unstructured":"Dellarocas, C., Klein, M.: Civil agent societies: Tools for inventing open agentmediated electronic marketplaces. In: Moukas, A., Ygge, F., Sierra, C. (eds.) Agent Mediated Electronic Commerce II. LNCS, vol.\u00a01788, pp. 24\u201339. Springer, Heidelberg (2000)"},{"key":"13_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-540-25932-9_12","volume-title":"Declarative Agent Languages and Technologies","author":"W.W. Vasconcelos","year":"2004","unstructured":"Vasconcelos, W.W.: Logic-based electronic institutions. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 221\u2013242. Springer, Heidelberg (2004)"},{"key":"13_CR22","first-page":"533","volume":"14","author":"Y. Moses","year":"1995","unstructured":"Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI\u00a014, 533\u2013562 (1995)","journal-title":"Computers and AI"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"13_CR24","first-page":"657","volume-title":"Information Processing","author":"L. Lamport","year":"1983","unstructured":"Lamport, L.: What Good Is Temporal Logic? In: Mason, R.E.A. (ed.) Information Processing, vol.\u00a083, pp. 657\u2013668. Elsevier Sciene Publishers, Amsterdam (1983)"},{"key":"13_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45584-1_1","volume-title":"Engineering Societies in the Agents World II","author":"P. Davidsson","year":"2002","unstructured":"Davidsson, P.: Categories of artificial societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol.\u00a02203, pp. 1\u20139. Springer, Heidelberg (2002)"},{"key":"13_CR26","first-page":"402","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II","author":"H. Mazouzi","year":"2002","unstructured":"Mazouzi, H., El Fallah Seghrouchni, A., Haddad, S.: Open protocol design fo complex interactions in multi-agent systems. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part II, pp. 402\u2013409. ACM Press, New York (2002)"},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(91)90051-K","volume":"47","author":"C. Hewitt","year":"1991","unstructured":"Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence\u00a047, 79\u2013106 (1991)","journal-title":"Artificial Intelligence"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/545056.545070","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part III","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Part III, pp. 1053\u20131061. ACM Press, New York (2002)"},{"key":"13_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-540-25932-9_14","volume-title":"Declarative Agent Languages and Technologies","author":"P. K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P., Matskin, M.: Linear logic, partial deduction and cooperative problem solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 263\u2013279. Springer, Heidelberg (2004)"},{"key":"13_CR30","unstructured":"Torroni, P., Mello, P., Maudet, N., Alberti, M., Ciampolini, A., Lamma, E., Sadri, F., Toni, F.: A logic-based approach to modeling interaction among computees (preliminary report). In: UK Multi-Agent Systems (UKMAS) Annual Conference, Liverpool, UK (2002)"},{"key":"13_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45023-8_20","volume-title":"Multi-Agent Systems and Applications III","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 204\u2013213. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25932-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:32:45Z","timestamp":1559316765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25932-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221241","9783540259329"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25932-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}