{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:33Z","timestamp":1725748173884},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_13","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T16:18:12Z","timestamp":1378829892000},"page":"206-222","source":"Crossref","is-referenced-by-count":4,"title":["Accumulative Knowledge under Bounded Resources"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud","family":"Tabatabaei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"\u00c5gotnes, T., van Ditmarsch, H.: Coalitions and announcements. In: Proceedings of AAMAS, pp. 673\u2013680 (2008)","key":"13_CR1"},{"issue":"2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/3-540-45653-8_7","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"N. Alechina","year":"2001","unstructured":"Alechina, N., Logan, B.: Logical omniscience and the cost of deliberation. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 100\u2013109. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Alechina, N., Logan, B.: Ascribing beliefs to resource bounded agents. In: Proceedings of AAMAS, pp. 881\u2013888. ACM (2002)","key":"13_CR4","DOI":"10.1145\/544862.544948"},{"unstructured":"Alechina, N., Logan, B.: A complete and decidable logic for resource-bounded agents. In: Proceedings of AAMAS 2004, pp. 606\u2013613. IEEE Computer Society (2004)","key":"13_CR5"},{"doi-asserted-by":"crossref","unstructured":"Alechina, N., Logan, B., Nga, N., Rakib, A.: Verifying properties of coalitional ability under resource bounds. In: Proceedings of the Logics for Agents and Mobility, LAM (2009)","key":"13_CR6","DOI":"10.1007\/978-3-642-04893-7_1"},{"unstructured":"Alechina, N., Logan, B., Nguyen, H., Rakib, A.: Resource-bounded alternating-time temporal logic. In: Proceedings of AAMAS, pp. 481\u2013488 (2010)","key":"13_CR7"},{"issue":"6","key":"13_CR8","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1093\/logcom\/exq032","volume":"21","author":"N. Alechina","year":"2011","unstructured":"Alechina, N., Logan, B., Nguyen, H., Rakib, A.: Logic for coalitions with bounded resources. Journal of Logic and Computation\u00a021(6), 907\u2013937 (2011)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T. Bolander","year":"2011","unstructured":"Bolander, T., Birkegaard Andersen, M.: Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics\u00a021(1), 9\u201334 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-16867-3_2","volume-title":"Computational Logic in Multi-Agent Systems","author":"N. Bulling","year":"2010","unstructured":"Bulling, N., Farwer, B.: Expressing properties of resource-bounded systems: The logics RTL\n                        * and RTL. In: Dix, J., Fisher, M., Nov\u00e1k, P. (eds.) CLIMA X. LNCS, vol.\u00a06214, pp. 22\u201345. Springer, Heidelberg (2010)"},{"unstructured":"Bulling, N., Farwer, B.: On the (un-)decidability of model checking resource-bounded agents. In: Proceedings of ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 567\u2013572. IOS Press (2010)","key":"13_CR11"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.entcs.2011.10.017","volume":"278","author":"D. Monica Della","year":"2011","unstructured":"Della Monica, D., Napoli, M., Parente, M.: On a logic for coalitional games with priced-resource agents. Electron. Notes Theor. Comput. Sci.\u00a0278, 215\u2013228 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Draper, D., Hanks, S., Weld, D.: A probabilistic model of action for least-commitment planning with information gathering. In: Proceedings of the Tenth International Conference on Uncertainty in Artificial Intelligence, pp. 178\u2013186. Morgan Kaufmann Publishers Inc. (1994)","key":"13_CR13","DOI":"10.1016\/B978-1-55860-332-5.50028-6"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R.A. Eberle","year":"1974","unstructured":"Eberle, R.A.: A logic of believing, knowing, and inferring. Synthese\u00a026, 356\u2013382 (1974)","journal-title":"Synthese"},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1987","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence\u00a034(1), 39\u201376 (1987)","journal-title":"Artificial Intelligence"},{"unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)","key":"13_CR16"},{"doi-asserted-by":"crossref","unstructured":"Friedman, N., Halpern, J.: A knowledge-based framework for belief change, Part II: Revision and update. In: Proceedings of KR 1994, pp. 190\u2013200 (1994)","key":"13_CR17","DOI":"10.1016\/B978-1-4832-1452-8.50114-7"},{"doi-asserted-by":"crossref","unstructured":"Grabisch, M., Marichal, J.-L., Mesiar, R., Pap, E.: Aggregation Functions. Cambridge University Press (2009)","key":"13_CR18","DOI":"10.1017\/CBO9781139644150"},{"doi-asserted-by":"crossref","unstructured":"Halpern, J., Moses, Y., Vardi, M.: Algorithmic knowledge. In: Proceedings of TARK 1994, pp. 255\u2013266 (1994)","key":"13_CR19","DOI":"10.1016\/B978-1-4832-1453-5.50022-2"},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1002\/j.1538-7305.1928.tb01236.x","volume":"7","author":"R. Hartley","year":"1928","unstructured":"Hartley, R.: Transmission of information. The Bell System Technical Journal\u00a07(3), 535\u2013563 (1928)","journal-title":"The Bell System Technical Journal"},{"doi-asserted-by":"crossref","unstructured":"Karp, R.: Reducibility among combinatorial problems. In: Miller, R., Thatcher, J. (eds.) Complexity of Computer Computations, pp. 85\u2013103 (1972)","key":"13_CR21","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"13_CR22","volume-title":"A Deduction Model of Belief","author":"K. Konolige","year":"1986","unstructured":"Konolige, K.: A Deduction Model of Belief. Morgan Kaufmann Publishers Inc., San Francisco (1986)"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantic analysis of modal logic. Zeitschrift fur Mathematische Logik und Grund lagen der Mathematik\u00a09, 67\u201396 (1963)","journal-title":"Zeitschrift fur Mathematische Logik und Grund lagen der Mathematik"},{"unstructured":"Moore, R., Hendrix, G.: Computational models of beliefs and the semantics of belief sentences (1979)","key":"13_CR24"},{"key":"13_CR25","first-page":"18","volume":"35","author":"V. Rantala","year":"1982","unstructured":"Rantala, V.: A modal logic for coalitional power in games. Acta Philosophica Fennica\u00a035, 18\u201324 (1982)","journal-title":"Acta Philosophica Fennica"},{"unstructured":"Sardi\u00f1a, S., Giacomo, G.D., Lesp\u00e9rance, Y., Levesque, H.: On the limits of planning over belief states under strict uncertainty. In: Proceedings of KR, pp. 463\u2013471 (2006)","key":"13_CR26"},{"key":"13_CR27","first-page":"161","volume-title":"Decision and Organization","author":"H. Simon","year":"1972","unstructured":"Simon, H.: Theories of bounded rationality. In: McGuire, C., Radner, R. (eds.) Decision and Organization, pp. 161\u2013176. North-Holland, Amsterdam (1972)"},{"doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)","key":"13_CR28","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:11:10Z","timestamp":1558055470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}