Induction from answer sets in nonmonotonic logic programs. (2005)

by C Sakama
Venue:ACM Transactions on Computational Logic (TOCL)