1. Lecture Notes in Computer Science;T Babiak,2012
2. Baral, C., Gelfond, M.: Reasoning about intended actions. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI), Menlo Park, CA, vol. 20, pp. 689–694. AAAI Press, MIT Press, Cambridge 1999 (2005)
3. Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proceedings of the 36th annual ACM/IEEE Design Automation Conference, pp. 317–320. ACM (1999)
4. Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987). (reedited 1999 with CSLI Publications)
5. Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. J. Comput. Intell. 4, 349–355 (1988)