机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
Abductive logic programming; Disjunctive logic programming; Program transformation; Semantics; Negation; Complexity; Framework; Databases; Failure;
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
机译:析取逻辑编程的归纳方法
机译:逻辑逻辑编程中基于论据的绑架
机译:绑架,论证和双解除逻辑计划
机译:逻辑逻辑程序设计研究
机译:通过机器学习得出的结构与活动的关系:通过归纳逻辑编程使用原子及其键连接性来预测诱变性。
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性