{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T02:40:07Z","timestamp":1747622407512,"version":"3.40.5"},"reference-count":35,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T00:00:00Z","timestamp":1484611200000},"content-version":"vor","delay-in-days":704,"URL":"http:\/\/academic.oup.com\/journals\/pages\/about_us\/legal\/notices"}],"funder":[{"DOI":"10.13039\/501100001866","name":"National Research Fund","doi-asserted-by":"publisher","award":["INTER\/DFG\/12\/06","AFR Code:5884506"],"award-info":[{"award-number":["INTER\/DFG\/12\/06","AFR Code:5884506"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011102","name":"European Union 7th Framework Programme","doi-asserted-by":"publisher","award":["PIEF-GA-2012-626398"],"award-info":[{"award-number":["PIEF-GA-2012-626398"]}],"id":[{"id":"10.13039\/100011102","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,20]]},"DOI":"10.1093\/logcom\/exv003","type":"journal-article","created":{"date-parts":[[2015,2,14]],"date-time":"2015-02-14T05:33:34Z","timestamp":1423892014000},"page":"581-604","source":"Crossref","is-referenced-by-count":0,"title":["Accumulative knowledge under bounded resources"],"prefix":"10.1093","volume":"28","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[{"name":"Computer Science and Communication, University of Luxembourg, Luxembourg"},{"name":"Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud","family":"Tabatabaei","sequence":"additional","affiliation":[{"name":"Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,2,13]]},"reference":[{"key":"key\n\t\t\t\t20180419114415_B1"},{"key":"key\n\t\t\t\t20180419114415_B2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180419114415_B3","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/3-540-45653-8_7","article-title":"Logical omniscience and the cost of deliberation","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Alechina","year":"2001"},{"key":"key\n\t\t\t\t20180419114415_B4"},{"key":"key\n\t\t\t\t20180419114415_B5","article-title":"Verifying properties of coalitional ability under resource bounds","volume-title":"Proceedings of the Logics for Agents and Mobility (LAM)","author":"Alechina","year":"2009"},{"key":"key\n\t\t\t\t20180419114415_B6"},{"key":"key\n\t\t\t\t20180419114415_B7","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1093\/logcom\/exq032","article-title":"Logic for coalitions with bounded resources","volume":"21","author":"Alechina","year":"2011","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180419114415_B8","first-page":"606","article-title":"A complete and decidable logic for resource-bounded agents","volume-title":"Proceedings of AAMAS","author":"Alechina","year":"2004"},{"key":"key\n\t\t\t\t20180419114415_B9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/2000378.2000400","article-title":"Belief revision as a truth-tracking process","volume-title":"Proceedings of TARK XIII","author":"Baltag","year":"2011"},{"key":"key\n\t\t\t\t20180419114415_B10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","article-title":"Epistemic planning for single- and multi-agent systems","volume":"21","author":"Bolander","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t20180419114415_B11","first-page":"22","article-title":"Expressing properties of resource-bounded systems: the logics RTL* and RTL","volume-title":"Proceedings of CLIMA","author":"Bulling","year":"2010"},{"key":"key\n\t\t\t\t20180419114415_B12","first-page":"567","article-title":"On the (un-)decidability of model checking resource-bounded agents","volume-title":"Proceedings of ECAI","author":"Bulling","year":"2010"},{"key":"key\n\t\t\t\t20180419114415_B13","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/s10458-013-9231-3","article-title":"Comparing variants of strategic ability: how uncertainty and memory influence general properties of games","volume":"28","author":"Bulling","year":"2014","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"key\n\t\t\t\t20180419114415_B14"},{"key":"key\n\t\t\t\t20180419114415_B15","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/BF00883100","article-title":"A logic of believing, knowing, and inferring","volume":"26","author":"Eberle","year":"1974","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20180419114415_B16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness, and limited reasoning","volume":"34","author":"Fagin","year":"1987","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180419114415_B17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"key\n\t\t\t\t20180419114415_B18","first-page":"190","article-title":"A knowledge-based framework for belief change. Part II: Revision and update","volume-title":"Proceedings of KR'94","author":"Friedman","year":"1994"},{"key":"key\n\t\t\t\t20180419114415_B19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139644150","volume-title":"Aggregation Functions","author":"Grabisch","year":"2009"},{"key":"key\n\t\t\t\t20180419114415_B20","first-page":"255","article-title":"Algorithmic knowledge","volume-title":"Proceedings of TARK'94","author":"Halpern","year":"1994"},{"key":"key\n\t\t\t\t20180419114415_B21","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1002\/j.1538-7305.1928.tb01236.x","article-title":"Transmission of information","volume":"7","author":"Hartley","year":"1928","journal-title":"The Bell System Technical Journal"},{"key":"key\n\t\t\t\t20180419114415_B22","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-642-40624-9_13","article-title":"Accumulative knowledge under bounded resources","volume-title":"Proceedings of Computational Logic in Multi-Agent Systems","author":"Jamroga","year":"2013"},{"key":"key\n\t\t\t\t20180419114415_B23","first-page":"185","article-title":"Agents that know how to play","volume":"63","author":"Jamroga","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180419114415_B24","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","article-title":"Reducibility among combinatorial problems","volume-title":"Complexity of Computer Computations","author":"Karp","year":"1972"},{"volume-title":"A Deduction Model of Belief","year":"1986","author":"Konolige","key":"key\n\t\t\t\t20180419114415_B25"},{"key":"key\n\t\t\t\t20180419114415_B26","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"Semantic analysis of modal logic","volume":"9","author":"Kripke","year":"1963","journal-title":"Zeitschrift fur Mathematische Logik und Grund lagen der Mathematik"},{"key":"key\n\t\t\t\t20180419114415_B27","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/j.entcs.2011.10.017","article-title":"On a logic for coalitional games with priced-resource agents","volume":"278","author":"Della Monica","year":"2011","journal-title":"Electronic Notes in Theoretical Computer Science"},{"volume-title":"Computational Models of Beliefs and the Semantics of Belief Sentences","year":"1979","author":"Moore","key":"key\n\t\t\t\t20180419114415_B28"},{"key":"key\n\t\t\t\t20180419114415_B29","first-page":"18","article-title":"A modal logic for coalitional power in games","volume":"35","author":"Rantala","year":"1982","journal-title":"Acta Philosophica Fennica"},{"key":"key\n\t\t\t\t20180419114415_B30","first-page":"463","article-title":"On the limits of planning over belief states under strict uncertainty","volume-title":"Proceedings of Principles of Knowledge Representation and Reasoning","author":"Sardi\u00f1a","year":"2006"},{"issue":"2","key":"key\n\t\t\t\t20180419114415_B31","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","article-title":"Alternating-time logic with imperfect recall","volume":"85","author":"Schobbens","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180419114415_B32","first-page":"161","article-title":"Theories of bounded rationality","volume-title":"In Decision and Organization","author":"Simon","year":"1972"},{"key":"key\n\t\t\t\t20180419114415_B33"},{"volume-title":"Dynamic Epistemic Logic","year":"2007","author":"van Ditmarsch","key":"key\n\t\t\t\t20180419114415_B34"},{"key":"key\n\t\t\t\t20180419114415_B35"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/3\/581\/24671792\/exv003.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T02:07:10Z","timestamp":1747620430000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/3\/581\/2917788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,13]]},"references-count":35,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,2,13]]},"published-print":{"date-parts":[[2018,4,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv003","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2018,4]]},"published":{"date-parts":[[2015,2,13]]}}}