...
机译:绑架逻辑编程的责任协议
Univ Ferrara ENDIF Dept Engn Via G Saragat 1 I-44122 Ferrara Italy;
Univ Ferrara DMI Via G Saragat 1 I-44122 Ferrara Italy;
Univ Ferrara ENDIF Dept Engn Via G Saragat 1 I-44122 Ferrara Italy;
SCIFF; accountability; abductive logic programming;
机译:绑架逻辑编程的责任协议
机译:SLDNFA:用于归纳逻辑程序的归纳过程
机译:具有概率完整性约束的非应绑架逻辑编程
机译:安全协议在绑架逻辑编程中验证:一个案例研究
机译:使用归纳逻辑编程自动化代谢网络模型的开发
机译:如何提高免疫计划中数据的使用量以提高数据质量并确保对卫生系统的更大责任?实施科学研究的协议
机译:在归纳逻辑编程代理中将逻辑编程和生产系统集成