Cyber & formal methods publications January 1, 2011 Conference PaperAutomating the ILP Setup Task: Converting User Advice About Specific Examples Into General Background Knowledge SRI International January 1, 2011 ↓ View online Share this