{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:45:32Z","timestamp":1725543932493},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540339960"},{"type":"electronic","value":"9783540339977"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750734_13","type":"book-chapter","created":{"date-parts":[[2006,4,11]],"date-time":"2006-04-11T11:09:15Z","timestamp":1144753755000},"page":"226-242","source":"Crossref","is-referenced-by-count":7,"title":["Contract-Related Agents"],"prefix":"10.1007","author":[{"given":"John","family":"Knottenbelt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing, pp. 72\u201378. ACM Press, New York (2004)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. In: van der Hoek, W., Lomuscio, A., de Vink, E., Wooldridge, M. (eds.) Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2003), Eindhoven, Netherlands. Electronic Notes in Theoretical Computer Science, vol.\u00a085. Elsevier, Amsterdam (June 2003)","DOI":"10.1016\/S1571-0661(05)82605-2"},{"key":"13_CR3","first-page":"1053","volume-title":"Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Johnson, L. (eds.) Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 1053\u20131062. ACM Press, New York (2002)"},{"key":"13_CR4","first-page":"26","volume-title":"Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks","author":"A.K. Bandara","year":"2003","unstructured":"Bandara, A.K., Lupu, E.C., Russo, A.: Using event calculus to formalise policy specification and analysis. In: Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks, p. 26. IEEE Computer Society, Los Alamitos (2003)"},{"key":"13_CR5","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Jason - A Java-based agentSpeak intepreter used with saci for multi-agent distribution over the net (2005), http:\/\/jason.sourceforge.net"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/375735.375766","volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents","author":"J.M. Broersen","year":"2001","unstructured":"Broersen, J.M., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.W.N.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 9\u201316. ACM Press, New York (2001)"},{"issue":"2-4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/B:AMAI.0000031195.87297.d9","volume":"41","author":"K.L. Clark","year":"2004","unstructured":"Clark, K.L., McCabe, F.G.: Go! \u2013 a Multi-paradigm programming language for implementing Multi-threaded agents. Annals of Mathematics and Artificial Intelligence\u00a041(2-4), 171\u2013206 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"13_CR8","series-title":"Lecture Notes in Artificial Intelligence","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.M., Dignum, V., Meyer, J.-J.C.: 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":"13_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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.C., 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 (LNAI), vol.\u00a02699, Springer, Heidelberg (2003)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/544741.544806","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M.J. Kollingbaum","year":"2002","unstructured":"Kollingbaum, M.J., Norman, T.J.: Supervised interaction: creating a web of trust for contracting agents in electronic environments. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 272\u2013279. ACM Press, New York (2002)"},{"key":"13_CR11","unstructured":"Kollingbaum, M.J., Norman, T.J.: Norm consistency in practical reasoning agents. In: Proceedings of PROMAS Workshop on Programming Multiagent Systems, AAMAS 2003 (2003)"},{"issue":"4","key":"13_CR12","first-page":"319","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing\u00a04(4), 319\u2013340 (1986)","journal-title":"New Generation Computing"},{"key":"13_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"13_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"key":"13_CR15","unstructured":"Shoham, Y.: Agent0: A simple agent language and its interpreter. In: Proceedings of AAAI 1991, Anaheim, CA, pp. 704\u2013709 (1991)"},{"key":"13_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/3-540-62591-7_34","volume-title":"Cooperative Information Agents","author":"E.M. Verharen","year":"1997","unstructured":"Verharen, E.M., Dignum, F.P.M.: Cooperative Information Agents and communication. In: Kandzia, P., Klusch, M. (eds.) CIA 1997. LNCS (LNAI), vol.\u00a01202, pp. 195\u2013209. Springer, Heidelberg (1997)"},{"key":"13_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BFb0026748","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"E.M. Verharen","year":"1998","unstructured":"Verharen, E.M., Dignum, F.P.M., Bos, S.: Implementation of a cooperative agent architecture based on the language-action perspective. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 31\u201344. Springer, Heidelberg (1998)"},{"key":"13_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11678823_8","volume-title":"Programming Multi-Agent Systems","author":"M. Winikoff","year":"2006","unstructured":"Winikoff, M.: An agentspeak meta-interpreter and its applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol.\u00a03862, pp. 123\u2013138. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750734_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,25]],"date-time":"2021-07-25T15:21:44Z","timestamp":1627226504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750734_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540339960","9783540339977"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11750734_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}