...
机译:具有功能符号的普通程序的分布语义
Univ Ferrara, Dipartimento Matemat & Informat, Via Saragat 1, I-44122 Ferrara, Italy;
Distribution semantics; Function symbols; ProbLog; Probabilistic logic programming;
机译:具有功能符号的混合概率逻辑程序的语义
机译:一种基于最大似然估计的药代动力学计算机程序,该程序使用具有概率密度函数的伽马分布:与正态分布进行比较。
机译:基于二元正态分布的两个相关偏斜正态变量的比率分布和两个阶数统计线性函数的比率分布
机译:带有功能符号的有限正规谓词逻辑程序的索引集
机译:通过近似正态密度和分布函数的比率来估计偏正态分布的参数。
机译:关于严重失语症的人的C-Davice Abshasia替代通信计划:执行功能和语义知识的重要性
机译:概率编程的语义:高阶函数,连续分布和软约束