{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:58:30Z","timestamp":1773615510605,"version":"3.50.1"},"reference-count":12,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.3103\/s0146411621070129","type":"journal-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T09:15:43Z","timestamp":1643706943000},"page":"786-794","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge-Based Algorithms for BDI Agents"],"prefix":"10.3103","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7515-9647","authenticated-orcid":false,"given":"N. V.","family":"Shilov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9734-3808","authenticated-orcid":false,"given":"N. O.","family":"Garanina","sequence":"additional","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2022,2,1]]},"reference":[{"key":"7405_CR1","doi-asserted-by":"crossref","unstructured":"Takada, M., Distributed Systems: For Fun and Profit, 2013. http:\/\/book.mixu.net\/distsys\/.","DOI":"10.1063\/pt.5.9004"},{"key":"7405_CR2","volume-title":"Distributed Systems: Principles and Paradigms","author":"A. Tanenbaum","year":"2006","unstructured":"Tanenbaum, A. and van Steen, M., Distributed Systems: Principles and Paradigms, Prentice-Hall, 2006."},{"key":"7405_CR3","volume-title":"An Introduction to Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., An Introduction to Multiagent Systems, John Willey & Sons, 2002."},{"key":"7405_CR4","unstructured":"Chappell, C., Plato on knowledge in the Theaetetus, in Stanford Encyclopedia of Philosophy, 2019. http:\/\/plato.stanford.edu\/entries\/plato-theaetetus\/."},{"key":"7405_CR5","unstructured":"Ichikawa, J. and Steup, M., The analysis of knowledge, in Stanford Encyclopedia of Philosophy, 2017. http:\/\/plato.stanford.edu\/entries\/knowledge-analysis\/."},{"key":"7405_CR6","unstructured":"D\u00fctting, P. and Geiger, A., Algorithmic Mechanism Design. Seminar Report, Univ. of Karlsruhe, 2007. https:\/\/webspace.science.uu.nl\/~leeuw112\/msagi\/mech_design.pdf."},{"key":"7405_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., and Vardi, M., Reasoning about Knowledge, MIT Press, 1995."},{"key":"7405_CR8","doi-asserted-by":"crossref","unstructured":"Mell, P. and Grance, T., The NIST Definition of Cloud Computing, NIST Special Publication 800-145, 2011. http:\/\/nvlpubs.nist.gov\/nistpubs\/Legacy\/SP\/nistspecialpublication800-145.pdf.","DOI":"10.6028\/NIST.SP.800-145"},{"key":"7405_CR9","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"2012","unstructured":"Manna, Z. and Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer, 2012."},{"key":"7405_CR10","first-page":"229","volume":"17","author":"A. Satekbayeva","year":"2014","unstructured":"Satekbayeva, A. and Shilov, N., Some results on multiagent algorithms in social computing\/software context, Information, 2014, vol. 17, no. 1, pp. 229\u2013240.","journal-title":"Information"},{"key":"7405_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J. van Benthem","year":"2011","unstructured":"van Benthem, J., Logical Dynamics of Information and Interaction, Cambridge University Press, 2011."},{"key":"7405_CR12","series-title":"State of the art in logics for verification of resource-bounded multi-agent systems","volume-title":"Fields of Logic and Computation III \u2014 Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday","author":"N. Alechina","year":"2020","unstructured":"Alechina, N. and Logan, B., State of the art in logics for verification of resource-bounded multi-agent systems, in Fields of Logic and Computation III \u2014 Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Springer, 2020, pp. 9\u201329."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411621070129.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411621070129","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411621070129.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:00:53Z","timestamp":1773612053000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411621070129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":12,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["7405"],"URL":"https:\/\/doi.org\/10.3103\/s0146411621070129","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"20 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 December 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}