{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:14:39Z","timestamp":1725538479196},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642039577"},{"type":"electronic","value":"9783642039584"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03958-4_17","type":"book-chapter","created":{"date-parts":[[2009,9,17]],"date-time":"2009-09-17T15:33:10Z","timestamp":1253201590000},"page":"193-204","source":"Crossref","is-referenced-by-count":1,"title":["A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Juan Jos\u00e9","family":"Pardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Carmen","family":"Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0304-3975(02)00364-X","volume":"291","author":"K. Adi","year":"2003","unstructured":"Adi, K., Debbabi, M., Mejri, M.: A new logic for electronic commerce protocols. Theoretical Computer Science\u00a0291(3), 223\u2013283 (2003)","journal-title":"Theoretical Computer Science"},{"key":"17_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P. Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"17_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/978-3-540-74829-8_115","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"B.M. Balachandran","year":"2007","unstructured":"Balachandran, B.M., Enkhsaikhan, M.: Developing multi-agent E-commerce applications with JADE. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part III. LNCS (LNAI), vol.\u00a04694, pp. 941\u2013949. Springer, Heidelberg (2007)"},{"key":"17_CR4","unstructured":"Collins, J., Rogers, A., Arunachalam, R., Sadeh, N., Eriksson, J., Finne, N., Janson, S.: The supply chain management game for 2008 trading agent competition. Technical Report CMU-ISRI-08-117, Carnegie Mellon University (2008)"},{"issue":"2","key":"17_CR5","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"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys\u00a041(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods and Testing","year":"2008","unstructured":"Hierons, R.M., Bowen, J.P., Harman, M. (eds.): FORTEST. LNCS, vol.\u00a04949. Springer, Heidelberg (2008)"},{"key":"17_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 215\u2013229. Springer, Heidelberg (1998)"},{"key":"17_CR9","volume-title":"Model-Based Software Testing and Analysis with C#","author":"J. Jacky","year":"2008","unstructured":"Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-Based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)"},{"issue":"2","key":"17_CR10","first-page":"357","volume":"117","author":"N.R. Jennings","year":"1999","unstructured":"Jennings, N.R.: On agent-based software engineering. Artificial intelligence\u00a0117(2), 357\u2013401 (1999)","journal-title":"Artificial intelligence"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-540-78127-1_25","volume-title":"Pillars of Computer Science","author":"I.A. Lomazova","year":"2008","unstructured":"Lomazova, I.A.: Nested Petri Nets for adaptive process modeling. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 460\u2013474. Springer, Heidelberg (2008)"},{"issue":"3","key":"17_CR12","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":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-75698-9_21","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"M.G. Merayo","year":"2007","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Formal specification of multi-agent systems by using EUSMs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 318\u2013333. Springer, Heidelberg (2007)"},{"key":"17_CR14","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J.: The Art of Software Testing, 2nd edn. John Wiley and Sons, Chichester (2004)","edition":"2"},{"key":"17_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-89674-6_2","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"N.T. Nguyen","year":"2008","unstructured":"Nguyen, N.T.: Computational collective intelligence and knowledge inconsistency in multi-agent environments. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol.\u00a05357, pp. 2\u20133. Springer, Heidelberg (2008)"},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.scico.2005.01.002","volume":"57","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming\u00a057(2), 187\u2013216 (2005)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"17_CR17","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1002\/stvr.323","volume":"15","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability\u00a015(4), 211\u2013233 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"17_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-48835-9_10","volume-title":"Agent Mediated Electronic Commerce","author":"J.A. Padget","year":"1999","unstructured":"Padget, J.A., Bradford, R.J.: A pi-calculus model of a spanish fish market - preliminary report. In: Noriega, P., Sierra, C. (eds.) AMET 1998 and AMEC 1998. LNCS (LNAI), vol.\u00a01571, pp. 166\u2013188. Springer, Heidelberg (1999)"},{"key":"17_CR19","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)"},{"issue":"2","key":"17_CR20","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.jlap.2007.03.002","volume":"74","author":"I. Rodr\u00edguez","year":"2008","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: \n                    \n                      \n                    \n                    $\\mathcal {HOTL}$\n                  : Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming\u00a074(2), 57\u201393 (2008)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"17_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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)"},{"issue":"3","key":"17_CR22","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/B:AGNT.0000038029.82331.c0","volume":"9","author":"C. Sierra","year":"2004","unstructured":"Sierra, C.: Agent-mediated electronic commerce. Autonomous Agents and Multi-Agent Systems\u00a09(3), 285\u2013301 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"17_CR24","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)"}],"container-title":["Studies in Computational Intelligence","New Challenges in Computational Collective Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03958-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T10:53:09Z","timestamp":1619779989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03958-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642039577","9783642039584"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03958-4_17","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}