1. Shoham, Y.: Reasoning about action and change. MIT Press (1987)
2. Harmelen, F.V., Lifschitz, V., Porter, B.: Handbook of knowledge representation. Elsevier Science (2008)
3. Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press (2001)
4. Lecture Notes in Computer Science;L. Simon,2006
5. Cabalar, P., Otero, R.P., Pose, S.G.: Temporal constraint networks in action. In: ECAI, pp. 543–547 (2000)