1. Lecture Notes in Artificial Intelligence;T. Ågotnes,2006
2. Alechina, N., Logan, B., Whitsey, M.: 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–613. ACM Press, New York (July 2004)
3. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems 8(3), 401–423 (1998)
4. Berger, M., Bauer, B., Watzke, M.: A scalable agent infrastructure. In: Proceedings of the Second Workshop on Infrastructure for Agents, MAS and Scalable MAS (held in conjuction with Autonomous Agents’01), Montreal (2001)
5. Bibel, W.: A deductive solution for plan generation. New Generation Computing 4, 115–132 (1986)