1. Lecture Notes in Artificial Intelligence;D. Alrajeh,2007
2. Boutilier, C., Brafman, R.I., Geib, C.: Prioritized goal decomposition of markov decision processes: Toward a synthesis of classical and decision theoretic planning. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 1156–1162 (1997)
3. Clark, K.L.: Negation as failure. Logic and Data Bases, 293–322 (1977)
4. Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: Tec. Comm. of the 26th ICLP, LIPIcs, vol. 7, pp. 54–63, Dagstuhl (2010)
5. Lecture Notes in Computer Science;E. Dantsin,1992