1. LNAI;T. Akutsu,2009
2. Christiansen, H. (2000). Abduction and induction combined in a metalogic framework. In Abduction and induction—essays on their relation and integration (pp. 195–211).
3. Corapi, D., Russo, A., & Lupu, E. C. (2010). Inductive logic programming as abductive search. In Technical communications of ICLP’10 (pp. 54–63).
4. LNAI;S. Costantini,2002
5. Damásio, C. V., & Pereira, L. M. (1998). A survey of paraconsistent semantics for logic programs. In D. M. Gabbay & P. Smets (Eds.), Handbook of defeasible reasoning and uncertainty management systems (Vol. 2, pp. 241–320). Berlin: Springer.