...
机译:具有惩罚性,语义性,复杂性和实现性的归纳逻辑程序
Department of Mathematics, University of Calabria, 87030 Rende (CS), Italy;
knowledge representation; nonmonotonic reasoning; abduction; logic programs; computational complexity; stable models; optimization problems; penalization;
机译:逻辑程序的豁免-语义和复杂性
机译:通过计算联合解释来解决绑架问题逻辑编程形式化,对P2P数据集成的应用以及复杂性结果
机译:具有约束条件的归纳逻辑编程的CIFF证明程序:理论,实现和实验
机译:绑架逻辑编程中的惩罚
机译:使用归纳逻辑编程自动化代谢网络模型的开发
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:具有惩罚性的归纳逻辑程序:语义,复杂性和实现