Ågotnes, T., van Ditmarsch, H.: Coalitions and announcements. In: Proceedings of AAMAS, pp. 673-680 (2008)
Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510-530 (1985)
Alechina, N., Logan, B.: Logical omniscience and the cost of deliberation. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 100-109. Springer, Heidelberg (2001)
Alechina, N., Logan, B.: Ascribing beliefs to resource bounded agents. In: Proceedings of AAMAS, pp. 881-888. ACM (2002)
Alechina, N., Logan, B.: A complete and decidable logic for resource-bounded agents. In: Proceedings of AAMAS 2004, pp. 606-613. IEEE Computer Society (2004)
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)
Alechina, N., Logan, B., Nguyen, H., Rakib, A.: Resource-bounded alternating-time temporal logic. In: Proceedings of AAMAS, pp. 481-488 (2010)
Alechina, N., Logan, B., Nguyen, H., Rakib, A.: Logic for coalitions with bounded resources. Journal of Logic and Computation 21(6), 907-937 (2011)
Bolander, T., Birkegaard Andersen, M.: Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics 21(1), 9-34 (2011)
Bulling, N., Farwer, B.: Expressing properties of resource-bounded systems: The logics RTL* and RTL. In: Dix, J., Fisher, M., Novák, P. (eds.) CLIMA X. LNCS, vol. 6214, pp. 22-45. Springer, Heidelberg (2010)
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. 215, pp. 567-572. IOS Press (2010)
Della Monica, D., Napoli, M., Parente, M.: On a logic for coalitional games with priced-resource agents. Electron. Notes Theor. Comput. Sci. 278, 215-228 (2011)
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-186. Morgan Kaufmann Publishers Inc. (1994)
Eberle, R.A.: A logic of believing, knowing, and inferring. Synthese 26, 356-382 (1974)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39-76 (1987)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)
Friedman, N., Halpern, J.: A knowledge-based framework for belief change, Part II: Revision and update. In: Proceedings of KR 1994, pp. 190-200 (1994)
Grabisch, M., Marichal, J.-L., Mesiar, R., Pap, E.: Aggregation Functions. Cambridge University Press (2009)
Halpern, J., Moses, Y., Vardi, M.: Algorithmic knowledge. In: Proceedings of TARK 1994, pp. 255-266 (1994)
Hartley, R.: Transmission of information. The Bell System Technical Journal 7(3), 535-563 (1928)
Karp, R.: Reducibility among combinatorial problems. In: Miller, R., Thatcher, J. (eds.) Complexity of Computer Computations, pp. 85-103 (1972)
Konolige, K.: A Deduction Model of Belief. Morgan Kaufmann Publishers Inc., San Francisco (1986)
Kripke, S.: Semantic analysis of modal logic. Zeitschrift fur Mathematische Logik und Grund lagen der Mathematik 9, 67-96 (1963)
Moore, R., Hendrix, G.: Computational models of beliefs and the semantics of belief sentences (1979)
Rantala, V.: A modal logic for coalitional power in games. Acta Philosophica Fennica 35, 18-24 (1982)
Sardiña, S., Giacomo, G.D., Lespérance, Y., Levesque, H.: On the limits of planning over belief states under strict uncertainty. In: Proceedings of KR, pp. 463-471 (2006)
Simon, H.: Theories of bounded rationality. In: McGuire, C., Radner, R. (eds.) Decision and Organization, pp. 161-176. North-Holland, Amsterdam (1972)
van Ditmarsch, H., van der Hoek,W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)
