{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:08:37Z","timestamp":1740373717028,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540283232"},{"type":"electronic","value":"9783540318538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11539087_111","type":"book-chapter","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T22:26:10Z","timestamp":1279664770000},"page":"825-834","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Belief, Capability and Promise for Cognitive Agents \u2013 A Modal Logic Approach"],"prefix":"10.1007","author":[{"given":"Xinyu","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"111_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intentions is Choice with Commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"111_CR2","first-page":"473","volume-title":"Proc. of the Second Conference on Knowledge Representation and Reasoning (KR 1991)","author":"A.S. Rao","year":"2001","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI Architecture. In: Proc. of the Second Conference on Knowledge Representation and Reasoning (KR 1991), pp. 473\u2013484. Morgan Kaufmann, San Francisco (2001)"},{"key":"111_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/FI-1998-341203","volume":"34","author":"B. Linder van","year":"1998","unstructured":"van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising Abilities and Opportunities of Agents. Fundamenta Informaticae\u00a034, 53\u2013101 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"111_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning About Rational Agents","author":"M. Wooldridg","year":"2000","unstructured":"Wooldridg, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)"},{"issue":"3","key":"111_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation\u00a08(3), 293\u2013342 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"111_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"1","key":"111_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"111_CR8","unstructured":"The Supply Chain Management Game for the Trading Agent Competition (TAC SCM) (2004), Available at http:\/\/www.sics.se"},{"key":"111_CR9","volume-title":"The Concept of Mind","author":"G. Ryle","year":"1949","unstructured":"Ryle, G.: The Concept of Mind. Barnes and Noble, New York (1949)"},{"key":"111_CR10","unstructured":"Singh, M.P.: A Logic of Situated Know-how. In: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI 1991), Anaheim, California, pp. 343\u2013348 (1991)"},{"key":"111_CR11","unstructured":"Padgham, L., Lambrix, P.: Agent Capabilities: Extending BDI Theory. In: Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas, pp. 68\u201373 (2000)"},{"key":"111_CR12","doi-asserted-by":"crossref","unstructured":"Fisher, M., Ghidini, C.: The ABC of Rational Agent Modelling. In: Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), Bologna, Italy, pp. 849\u2013856 (2002)","DOI":"10.1145\/544862.544943"},{"issue":"1","key":"111_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"L. Churn-Jung","year":"2003","unstructured":"Churn-Jung, L.: Belief, Information Acquisition, and Trust in Multi-Agent Systems-a Modal Logic Formulation. Artificial Intelligence\u00a0149(1), 31\u201360 (2003)","journal-title":"Artificial Intelligence"},{"key":"111_CR14","unstructured":"del Val, A., Maynard-Reid, P., Shoham, Y.: Qualitative Reasoning about Perception and Belief. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, pp. 508\u2013513 (1997)"},{"key":"111_CR15","first-page":"16","volume":"31","author":"Z. Xinyu","year":"2004","unstructured":"Xinyu, Z., Zuoquan, L.: An Agent-based Supply Chain Modeling (in Chinese). Computer Science\u00a031, 16\u201321 (2004)","journal-title":"Computer Science"},{"key":"111_CR16","unstructured":"Xinyu, Z., Cen, W., Runjie, Z., et al.: A Multi-Agent System for E-Business Processes Monitoring in A Web-Based Environment. In: The Fourth International Conference on Electronic Business (ICEB 2004), Beijing, China, pp. 470\u2013475 (2004)"},{"key":"111_CR17","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: The Contract Net Protocol \u2013 Highlevel Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers\u00a029, 1104\u20131113 (1980)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Advances in Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11539087_111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:09:39Z","timestamp":1740287379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11539087_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540283232","9783540318538"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11539087_111","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}