1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)
2. Lecture Notes in Computer Science;J. Bell,1997
3. Benton, J., Do, M.B., Kambhampati, S.: Over-subscription planning with numeric goals. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30–August 5, pp. 1207–1213. Professional Book Center (2005)
4. da Costa Pereira, C., Tettamanzi, A.: Towards a framework for goal revision. In: Pierre-Yvese Schobbens, W.V., Schwanen, G. (eds.) BNAIC-06, Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence, Namur, Belgium, October 5-6, 2006, pp. 99–106. University of Namur (2006)
5. da Costa Pereira, C., Tettamanzi, A., Amgoud, L.: Goal revision for a rational agent. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, Proceedings of the 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, A, August 29–September 1, pp. 747–748. IOS Press, Amsterdam (2006)