{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:42:58Z","timestamp":1743021778400,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_3","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"30-43","source":"Crossref","is-referenced-by-count":2,"title":["Specification of Autonomous Agents in E-commerce Systems"],"prefix":"10.1007","author":[{"given":"Ismael","family":"Rodr\u00edguez","sequence":"first","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"3_CR1","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/228503.228509","volume":"39","author":"A. Bhimani","year":"1996","unstructured":"Bhimani, A.: Securing the commercial Internet. Communications of the ACM\u00a039(6), 29\u201335 (1996)","journal-title":"Communications of the ACM"},{"key":"3_CR2","unstructured":"Braynov, S.: Tutorial on agent-mediated electronic commerce at AIMSA 2002 (2002)"},{"key":"3_CR3","unstructured":"Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: PAAM 1996, pp. 75\u201390 (1996)"},{"key":"3_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-44682-6_10","volume-title":"Agent Mediated Electronic Commerce","author":"M. Dastani","year":"2001","unstructured":"Dastani, M., Jacobs, N., Jonker, C.M., Treur, J.: Modelling user preferences and mediating agents in electronic commerce. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol.\u00a01991, pp. 163\u2013193. Springer, Heidelberg (2001)"},{"key":"3_CR5","first-page":"87","volume-title":"Int. Conf. on Intelligent User Interfaces","author":"B. Geisler","year":"2001","unstructured":"Geisler, B., Ha, V., Haddawy, P.: Modeling user preferences via theory refinement. In: Int. Conf. on Intelligent User Interfaces, pp. 87\u201390. ACM Press, New York (2001)"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1017\/S0269888998002082","volume":"13","author":"R. Guttman","year":"1998","unstructured":"Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review\u00a013(2), 147\u2013159 (1998)","journal-title":"The Knowledge Engineering Review"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0004-3702(03)00013-4","volume":"146","author":"V. Ha","year":"2003","unstructured":"Ha, V., Haddawy, P.: Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence\u00a0146(2), 149\u2013173 (2003)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/TKDE.2003.1209014","volume":"15","author":"M. He","year":"2003","unstructured":"He, M., Jennings, N.R., Leung, H.: On agent-mediated electronic commerce. IEEE Trans. on Knowledge and Data Engineering\u00a015(4), 985\u20131003 (2003)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-48080-3_19","volume-title":"Innovative Internet Computing Systems","author":"N. L\u00f3pez","year":"2002","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: A formal framework for e-barter based on microeconomic theory and process algebras. In: Unger, H., B\u00f6hme, T., Mikler, A.R. (eds.) IICS 2002. LNCS, vol.\u00a02346, pp. 217\u2013228. Springer, Heidelberg (2002)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/952532.952650","volume-title":"18th ACM Symposium on Applied Computing, SAC 2003","author":"N. L\u00f3pez","year":"2003","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: A multi-agent system for ebarter including transaction and shipping costs. In: 18th ACM Symposium on Applied Computing, SAC 2003, pp. 587\u2013594. ACM Press, New York (2003)"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/295685.295708","volume":"42","author":"M. Ma","year":"1999","unstructured":"Ma, M.: Agents in e-commerce. Communications of the ACM\u00a042(3), 79\u201380 (1999)","journal-title":"Communications of the ACM"},{"key":"3_CR12","first-page":"169","volume-title":"FORTE 2001","author":"M. N\u00fa\u00f1ez","year":"2001","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: FORTE 2001, pp. 169\u2013185. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1145\/967900.968060","volume-title":"19th ACM Symposium on Applied Computing, SAC 2004","author":"I. Rodr\u00edguez","year":"2004","unstructured":"Rodr\u00edguez, I.: Formal specification of autonomous commerce agents. In: 19th ACM Symposium on Applied Computing, SAC 2004, pp. 774\u2013778. ACM Press, New York (2004)"},{"key":"3_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BFb0053679","volume-title":"Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet","author":"T. Sandholm","year":"1998","unstructured":"Sandholm, T.: Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In: Klusch, M., Weiss, G. (eds.) CIA 1998. LNCS (LNAI), vol.\u00a01435, pp. 113\u2013134. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:07:33Z","timestamp":1558292853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}