{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:00:53Z","timestamp":1755597653168,"version":"3.37.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T00:00:00Z","timestamp":1240876800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11229-009-9557-1","type":"journal-article","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T13:42:52Z","timestamp":1240839772000},"page":"385-403","source":"Crossref","is-referenced-by-count":13,"title":["Verifying time, memory and communication bounds in systems of reasoning agents"],"prefix":"10.1007","volume":"169","author":[{"given":"Natasha","family":"Alechina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Logan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang Nga","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdur","family":"Rakib","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,28]]},"reference":[{"key":"9557_CR1","first-page":"945","volume-title":"Proceedings of the 16th European conference on artificial intelligence, ECAI\u20192004, including prestigious applicants of intelligent systems, PAIS 2004, Valencia","author":"P. Adjiman","year":"2004","unstructured":"Adjiman P., Chatalic P., Goasdou\u00e9 F., Rousset M.-C., Simon L. (2004) Distributed reasoning in a peer-to-peer setting. In: M\u00e1ntaras R.L., Saitta L. (eds) Proceedings of the 16th European conference on artificial intelligence, ECAI\u20192004, including prestigious applicants of intelligent systems, PAIS 2004, Valencia. IOS Press, Spain, pp 945\u2013946"},{"key":"9557_CR2","first-page":"317","volume-title":"Proceedings of the 17th European conference on artificial intelligence (ECAI 2006)","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes T., Alechina N. (2006) Knowing minimum\/maximum n formulae. In: Brewka G., Coradeschi S., Perini A., Traverso P. (eds) Proceedings of the 17th European conference on artificial intelligence (ECAI 2006). IOS Press, Riva del Garda, Italy, pp 317\u2013321"},{"key":"9557_CR3","unstructured":"\u00c5gotnes, T., & Walicki, M. (2005). Strongly complete axiomatizations of knowing atmost in standard syntactic assignments. In F. Toni & P. Torroni (Eds.), Pre-proceedings of the 6th international workshop on computational logic in multi-agent systems (CLIMA VI), City University, London, UK."},{"key":"9557_CR4","unstructured":"Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., & Serafini, L. (2006). Model-checking memory requirements of resource-bounded reasoners. In Proceedings of the twenty-first national conference on artificial intelligence (AAAI 2006) (pp. 213\u2013218). Melano Park, CA: AAAI Press."},{"key":"9557_CR5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/1160633.1160667","volume-title":"Proceedings of the fifth international joint conference on autonomous agents and multi-agent systems (AAMAS 2006)","author":"N. Alechina","year":"2006","unstructured":"Alechina N., Bertoli P., Ghidini C., Jago M., Logan B., Serafini L. (2006a) Verifying space and time requirements for resource-bounded agents. In: Stone P., Weiss G. (eds) Proceedings of the fifth international joint conference on autonomous agents and multi-agent systems (AAMAS 2006). IEEE Press, Hakodate, Japan, pp 217\u2013219"},{"key":"9557_CR6","first-page":"16","volume-title":"Proceedings of the fourth workshop on model checking and artificial intelligence (MoChArt-2006)","author":"N. Alechina","year":"2006","unstructured":"Alechina N., Bertoli P., Ghidini C., Jago M., Logan B., Serafini L. (2006b) Verifying space and time requirements for resource-bounded agents. In: Edelkamp S., Lomuscio A., Serafini L. (eds) Proceedings of the fourth workshop on model checking and artificial intelligence (MoChArt-2006). Riva del Garda , Italy, pp 16\u201330"},{"key":"9557_CR7","first-page":"322","volume-title":"Proceedings of the 17th European conference on artificial intelligence (ECAI 2006)","author":"N. Alechina","year":"2006","unstructured":"Alechina N., Jago M., Logan B. (2006c) Modal logics for communicating rule-based agents. In: Brewka G., Coradeschi S., Perini A., Traverso P. (eds) Proceedings of the 17th European conference on artificial intelligence (ECAI 2006). IOS Press, Riva del Garda, Italy, pp 322\u2013326"},{"key":"9557_CR8","unstructured":"Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008a). Reasoning about other agents\u2019 beliefs under bounded resources. In J.-J. C. Meyer & J. Broersen (Eds.), Pre-proceedings of the KR2008 workshop on knowledge representation for agents and multi-agent systems (KRAMAS 2008) (pp. 4\u201318), Sydney, Australia."},{"key":"9557_CR9","doi-asserted-by":"crossref","unstructured":"Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008b). Verifying time, memory and communication bounds in systems of reasoning agents. In L. Padgham, D. Parkes, J. M\u00fcller, & S. Parsons (Eds.), Proceedings of the seventh international conference on autonomous agents and multi-agent systems (AAMAS 2008) (Vol. 2, pp. 736\u2013743). Estoril, Portugal: IFAAMAS.","DOI":"10.1007\/s11229-009-9557-1"},{"key":"9557_CR10","unstructured":"Alechina, N., Logan, B., & Whitsey, M. (2004). A complete and decidable logic for resource-bounded agents. In Proceedings of the third international joint conference on autonomous agents and multi-agent systems (AAMAS 2004) (pp. 606\u2013613). New York: ACM Press."},{"issue":"4","key":"9557_CR11","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1137\/S0097539700366735","volume":"31","author":"M. Alekhnovich","year":"2002","unstructured":"Alekhnovich M., Ben-Sasson E., Razborov A.A., Wigderson A. (2002) Space complexity in propositional calculus. SIAM Journal of Computing 31(4): 1184\u20131211","journal-title":"SIAM Journal of Computing"},{"key":"9557_CR12","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th IEEE FOCS 1997 (pp. 100\u2013109).","DOI":"10.1109\/SFCS.1997.646098"},{"key":"9557_CR13","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., & Tasiran, S. (1998). Mocha: Modularity in model checking. In Proceedings of the tenth international conference on computer-aided verification (CAV). Lecture Notes in Computer Science (Vol. 1427, pp. 521\u2013525). Springer.","DOI":"10.1007\/BFb0028774"},{"issue":"1\u20132","key":"9557_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2004.11.004","volume":"162","author":"E. Amir","year":"2005","unstructured":"Amir E., McIlraith S.A. (2005) Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence 162(1\u20132): 49\u201388","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9557_CR15","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti M., Giunchiglia F., Serafini L. (1998) Model checking multiagent systems. Journal of Logic and Computation 8(3): 401\u2013423","journal-title":"Journal of Logic and Computation"},{"key":"9557_CR16","first-page":"896","volume-title":"Proceedings of the third international joint conference on autonomous agents and multi-agent systems (AAMAS-2004)","author":"R. Bordini","year":"2004","unstructured":"Bordini R., Fisher M., Visser W., Wooldridge M. (2004) State-space reduction techniques in agent verification. In: Jennings N.R., Sierra C., Sonenberg L., Tambe M. (eds) Proceedings of the third international joint conference on autonomous agents and multi-agent systems (AAMAS-2004). ACM Press, New York, pp 896\u2013903"},{"issue":"2","key":"9557_CR17","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke E.M., Emerson E.A., Sistla A.P. (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2): 244\u2013263","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9557_CR18","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"5","author":"H. Duc","year":"1997","unstructured":"Duc H. (1997) Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation 5: 633\u2013648","journal-title":"Journal of Logic and Computation"},{"key":"9557_CR19","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1080\/09528139008953715","volume":"2","author":"J.J. Elgot-Drapkin","year":"1990","unstructured":"Elgot-Drapkin J.J., Perlis D. (1990) Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence 2: 75\u201398","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"1","key":"9557_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E.A. Emerson","year":"1985","unstructured":"Emerson E.A., Halpern J.Y. (1985) Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and System Science 30(1): 1\u201324","journal-title":"Journal of Computer and System Science"},{"key":"9557_CR21","doi-asserted-by":"crossref","unstructured":"Esteban, J. L., & Tor\u00e1n, J. (1999). Space bounds for resolution. In C. Meinel & S. Tison (Eds.), Proceedings of the STACS 99, 16th annual symposium on theoretical aspects of computer science, Trier, Germany. Lecture Notes in Computer Science (Vol. 1563, pp. 551\u2013560), Springer.","DOI":"10.1007\/3-540-49116-3_52"},{"key":"9557_CR22","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.Y., Moses Y., Vardi M.Y. (1995) Reasoning about knowledge. MIT Press, Cambridge, Mass."},{"issue":"1\u20132","key":"9557_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.10.001","volume":"161","author":"B. Faltings","year":"2005","unstructured":"Faltings B., Yokoo M. (2005) Introduction: Special issue on distributed constraint satisfaction. Artificial Intelligence 161(1\u20132): 1\u20135","journal-title":"Artificial Intelligence"},{"key":"9557_CR24","unstructured":"Fisher, M., & Ghidini, C. (1999). Programming resource-bounded deliberative agents. In Proceedings of the sixteenth international joint conference on artificial intelligence (IJCAI\u201999) (pp. 200\u2013206). Stockholm, Sweden: Morgan Kaufmann."},{"issue":"4","key":"9557_CR25","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1023\/A:1010050603219","volume":"3","author":"J. Grant","year":"2000","unstructured":"Grant J., Kraus S., Perlis D. (2000) A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems 3(4): 351\u2013387","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2\u20133","key":"9557_CR26","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(85)90144-6","volume":"39","author":"A. Haken","year":"1985","unstructured":"Haken A. (1985) The intractability of resolution. Journal of Theoretical Computer Science 39(2\u20133): 297\u2013308","journal-title":"Journal of Theoretical Computer Science"},{"key":"9557_CR27","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/B978-1-4832-1453-5.50022-2","volume-title":"Proceedings of the 5th conference on theoretical aspects of reasoning about knowledge, 1994","author":"J.Y. Halpern","year":"1994","unstructured":"Halpern J.Y., Moses Y., Vardi M.Y. (1994) Algorithmic knowledge. In: Fagin R. (eds) Proceedings of the 5th conference on theoretical aspects of reasoning about knowledge, 1994. Morgan Kaufmann, Pacific Grove, CA, pp 255\u2013266"},{"key":"9557_CR28","unstructured":"Jago, M. (2006). Logics for resource-bounded agents. Ph.D. thesis, University of Nottingham."},{"key":"9557_CR29","doi-asserted-by":"crossref","unstructured":"Jung, H., & Tambe, M. (2005, September 15\u201317). On communication in solving distributed constraint satisfaction problems. In M. Pechoucek, P. Petta, & L. Z. Varga (Eds.), Proceedings of the multi-agent systems and applications IV, 4th international central and eastern european conference on multi-agent systems, CEEMAS 2005, Budapest, Hungary. Lecture Notes in Computer Science (Vol. 3690, pp. 418\u2013429), Springer.","DOI":"10.1007\/11559221_42"},{"key":"9557_CR30","volume-title":"A deduction model of belief","author":"K. Konolige","year":"1986","unstructured":"Konolige K. (1986) A deduction model of belief. Morgan Kaufmann, San Francisco"},{"key":"9557_CR31","unstructured":"Provan, G. M. (2002, April 22\u201325). A model-based diagnosis framework for distributed embedded systems. In D. Fensel, F. Giunchiglia, D. L. McGuinness, & M.-A. Williams (Eds.), Proceedings of the eights international conference on principles and knowledge representation and reasoning (KR-02) (pp. 341\u2013352). Toulouse, France: Morgan Kaufmann."},{"key":"9557_CR32","unstructured":"Pucella, R. (2004, January 4\u20136). Deductive algorithmic knowledge. In AI&M 1-2004, eighth international symposium on artificial intelligence and mathematics, Fort Lauderdale, FL, USA."},{"issue":"10","key":"9557_CR33","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1016\/j.artint.2006.03.003","volume":"170","author":"M. Wooldridge","year":"2006","unstructured":"Wooldridge M., Dunne P.E. (2006) On the computational complexity of coalitional resource games. Artificial Intelligence 170(10): 835\u2013871","journal-title":"Artificial Intelligence"},{"key":"9557_CR34","doi-asserted-by":"crossref","unstructured":"Yao, A. C.-C. (1979, April 30\u2013May 2), Some complexity questions related to distributive computing (preliminary report). In Conference record of the eleventh annual ACM symposium on theory of computing (pp. 209\u2013213). Atlanta, GA: ACM.","DOI":"10.1145\/800135.804414"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9557-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-009-9557-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9557-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:43:37Z","timestamp":1739079817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-009-9557-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,28]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["9557"],"URL":"https:\/\/doi.org\/10.1007\/s11229-009-9557-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2009,4,28]]}}}