1. Reasoning about Plans;Allen,1991
2. R. Alur, C. Belta, F. Ivanicic, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, J. Schug, Hybrid modeling and simulation of biomolecular networks, in: Hybrid Systems: Computation and Control, in: LNCS, vol. 2034, 2001, pp. 19–32
3. M. Balduccini, Answer set based design of highly autonomous, rational agents, PhD thesis, Texas Tech. University, 2005
4. M. Balduccini, M. Gelfond, Logic programs with consistency-restoring rules, in: International Symposium on Logical Formalization of Commonsense Reasoning, 2003
5. Knowledge Representation, Reasoning and Declarative Problem Solving;Baral,2003