使用归纳逻辑编程提取营养素与减肥的时间关系| IEEE会议出版物| IEEE Xplore