机译:分布语义下概率逻辑程序的良好定义和高效推理
ENDIF - University of Ferrara,Via Saragat 1, I-44122 Ferrara, Italy;
CENTRIA - Universidade Nova de Lisboa, Caparica, Portugal;
probabilistic logic programming; tabling; answer subsumption; logic pro-grams with annotated disjunction; program transformation;
机译:分布语义下概率逻辑程序的提升推理方法研究
机译:一种基于广义分布语义的新型概率约束逻辑程序设计语言
机译:一种基于广义分布语义的新型概率约束逻辑程序设计语言
机译:基于分布语义的逻辑贝叶斯网络与概率逻辑编程的关系
机译:概率逻辑编程中的符号推理技术
机译:经过非概率反馈训练的通用神经网络中的有效概率推理
机译:基于分布语义的逻辑贝叶斯网络与概率逻辑程序设计的关系