...
机译:SLDNFA:用于归纳逻辑程序的归纳过程
Representing incomplete knowledge;
机译:SLDNFA:用于归纳逻辑程序的归纳过程
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
机译:具有概率完整性约束的非应绑架逻辑编程
机译:逻辑编程中的绑架:基于重写的新定义和绑架程序
机译:使用归纳逻辑编程自动化代谢网络模型的开发
机译:腓骨长肌在运动前表现出预先设定的预期活动站立时单侧下肢外展:一项初步研究
机译:SLDNFA:引发逻辑程序的引发过程