Chiaki Sakama | Induction from answer sets in nonmonotonic logic programs | ACM-TOCL | 2005.pdf 220 KB Raw History Download (220 KB)