{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:39Z","timestamp":1725490539375},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751182"},{"type":"electronic","value":"9783540751199"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75119-9_24","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T05:46:49Z","timestamp":1188798409000},"page":"343-359","source":"Crossref","is-referenced-by-count":7,"title":["Formal Analysis of Trust Dynamics in Human and Software Agent Experiments"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmytro","family":"Tykhonov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","first-page":"238","volume-title":"Dynamics in Chains and Networks","author":"V. Amamor-Boadu","year":"2004","unstructured":"Amamor-Boadu, V., Starbird, S.A.: The value of anonimity in supply chain relationships. In: Bremmers, H.J., Omta, S.W.F., Trienekens, J.H., Wubben, E.F.M. (eds.) Dynamics in Chains and Networks, pp. 238\u2013244. Wageningen Academic Publishers, Holland (2004)"},{"key":"24_CR2","first-page":"247","volume-title":"IAT 2006","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: IAT 2006. Proceedings of the Sixth International Conference on Intelligent Agent Technology, pp. 247\u2013254. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"24_CR3","volume-title":"Handbook of Philosophical Logic","author":"J.P. Burgess","year":"1984","unstructured":"Burgess, J.P.: Temporal logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, Reidel, Dordrecht (1984)"},{"key":"24_CR4","first-page":"72","volume-title":"Proceedings of the Third International Conference on Multi-Agent Systems","author":"C. Castelfranchi","year":"1998","unstructured":"Castelfranchi, C., Falcone, R.: Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems, pp. 72\u201379. IEEE Computer Society, Los Alamitos (1998)"},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-3614-5","volume-title":"Trust and Deception in Virtual Societies","author":"C. Castelfranchi","year":"2001","unstructured":"Castelfranchi, C., Falcone, R., Social Trust, A.: Social Trust: A Cognitive Approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55\u201390. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"24_CR6","unstructured":"Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Proceedings of the First International Workshop on Trust, pp. 9\u201319 (1998)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Elofson, G.: Developing Trust with Intelligent Agents: An Exploratory Study. In: Proceedings of the First International Workshop on Trust, pp. 125\u2013139 (1998)","DOI":"10.1007\/978-94-017-3614-5_6"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10458-004-3140-4","volume":"10","author":"M. Fisher","year":"2005","unstructured":"Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems\u00a010, 41\u201366 (2005)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. International Journal of Co-operative Information Systems, IJCIS. In: Huhns, M., Singh, M. (eds.) special issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems\u00a06(1), 37\u201365 (1997)","DOI":"10.1142\/S0218843097000057"},{"key":"24_CR10","unstructured":"Galton, A.: Temporal Logic. Stanford Encyclopedia of Philosophy (2003), URL: http:\/\/plato.stanford.edu\/entries\/logic-temporal\/#2"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s11229-005-5516-7","volume":"150","author":"A. Galton","year":"2006","unstructured":"Galton, A.: Operators vs Arguments: The Ins and Outs of Reification. Synthese\u00a0150, 415\u2013441 (2006)","journal-title":"Synthese"},{"key":"24_CR12","volume-title":"Trust","author":"D. Gambetta","year":"1990","unstructured":"Gambetta, D.: Trust. Basil Blackwell, Oxford (1990)"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Grandison, T., Sloman, M.: A Survey of Trust in Internet Applications. IEEE Communications Surveys\u00a0(2000)","DOI":"10.1109\/COMST.2000.5340804"},{"key":"24_CR14","unstructured":"Jonker, C.M., Meijer, S., Tykhonov, D., Verwaart, T.: Agent-based Simulation of the Trust and Tracing Game for Supply Chains and Networks. Technical Report, Delft University of Technology"},{"key":"24_CR15","first-page":"78","volume-title":"Proceedings of the Trust in Agent Societies Workshop","author":"C.M. Jonker","year":"2005","unstructured":"Jonker, C.M., Meijer, S., Tykhonov, D., Verwaart, D.: Modelling and Simulation of Selling and Deceit for the Trust and Tracing Game. In: Castelfranchi, C., Barber, S., Sabater, S., Singh, M. (eds.) Proceedings of the Trust in Agent Societies Workshop, pp. 78\u201390. Springer, Heidelberg (2005)"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-540-24747-0_16","volume-title":"Trust Management","author":"C.M. Jonker","year":"2004","unstructured":"Jonker, C.M., Schalken, J.J.P., Theeuwes, J., Treur, J.: Human Experiments in Trust Dynamics. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 206\u2013220. Springer, Heidelberg (2004)"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-48437-X_18","volume-title":"Multi-Agent System Engineering","author":"C.M. Jonker","year":"1999","unstructured":"Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 221\u2013232. Springer, Heidelberg (1999)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-540-24747-0_11","volume-title":"Trust Management","author":"A. J\u00f8sang","year":"2004","unstructured":"J\u00f8sang, A., Presti, S.: Analysing the Relationship between Risk and Trust. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 135\u2013145. Springer, Heidelberg (2004)"},{"key":"24_CR19","volume-title":"Philosophy of Mind","author":"J. Kim","year":"1996","unstructured":"Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Lewis, D., Weigert, A.: Social Atomism, Holism, and Trust. In: Sociological Quarterly, pp. 455\u2013471 (1985)","DOI":"10.1111\/j.1533-8525.1985.tb00238.x"},{"key":"24_CR21","unstructured":"Marsh, S.: Trust and Reliance in Multi-Agent Systems: a Preliminary Report. In: MAAMAW 1992. Proc. of the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Rome (1992)"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-58266-5_6","volume-title":"Artificial Social Systems","author":"S. Marsh","year":"1994","unstructured":"Marsh, S.: Trust in Distributed Artificial Intelligence. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS, vol.\u00a0830, pp. 94\u2013112. Springer, Heidelberg (1994)"},{"key":"24_CR23","unstructured":"Meijer, S., Hofstede, G.J.: The Trust and Tracing game. In: Proceedings of 7th Int. workshop on experiential learning. IFIP WG 5.7 SIG conference, Aalborg, Denmark (2003)"},{"volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","year":"1995","key":"24_CR24","unstructured":"Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass (1995)"},{"key":"24_CR25","first-page":"11","volume":"36","author":"M. Rabin","year":"1998","unstructured":"Rabin, M.: Psychology and Economics. Journal of Economic Literature\u00a036, 11\u201346 (1998)","journal-title":"Journal of Economic Literature"},{"key":"24_CR26","doi-asserted-by":"crossref","unstructured":"Ramchurn, S.D., Hunyh, D., Jennings, N.R.: Trust in Multi-Agent Systems, Knowledge Engineering Review (2004)","DOI":"10.1017\/S0269888904000116"}],"container-title":["Lecture Notes in Computer Science","Cooperative Information Agents XI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75119-9_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:54Z","timestamp":1619506314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75119-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751182","9783540751199"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75119-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}