CP逻辑

此软件的关键字
zbMATH中的参考文献(参考文献 19条 , 1标准件 )
阿佐利尼,达米亚诺; 贝洛迪,埃琳娜; 费里利,斯特凡诺; 里古兹,法布里齐奥; Zese,Riccardo:分布语义下的概率逻辑规划诱因(2022) 阿佐利尼,达米亚诺; 里古兹,法布里齐奥; Lamma,Evelina:带函数符号的混合概率逻辑程序的语义(2021) 曼塔德利斯,提奥弗拉斯托斯; Bistarelli,Stefano:概率抽象论证框架,一个可能的世界观(2020) 阿瓜多,费利塞德; 卡巴拉、佩德罗; 范迪诺,豪尔赫; 皮尔斯,大卫; 佩雷斯,吉尔伯托; 维达尔,康塞普西翁:忘记福克斯的辅助原子(2019) 巴拉伊,叶甫盖尼; 盖尔方德,迈克尔; 张元林:P-log:精化与新的相干条件(2019) 布克曼,大卫; Poole,David:概率逻辑程序中的负概率(2017) 里古兹,法布里齐奥; 科塔,朱塞佩; 贝洛迪,埃琳娜; Zese,Riccardo:cplint中的因果推理(2017) Riguzzi,Fabrizio:带函数符号的正态程序的分布语义(2016) 弗拉塞勒,乔纳斯; 范登布罗克,伙计; 金米格,安吉丽卡; 米尔特,万恩斯; De Raedt,Luc:(T\mathcalP)-概率逻辑程序中推理的编译(2016) 贝洛迪,埃琳娜; Riguzzi,Fabrizio:通过搜索子句空间进行概率逻辑程序的结构学习(2015) De Raedt,卢克; Kimmig,Angelika:概率(逻辑)编程概念(2015) 费伦斯,达安; 范登布罗克,伙计; 伦肯,乔里斯; 施特里奥诺夫,迪米特尔; 古特曼,伯恩德; 丁字裤、英戈; 詹森,格达; De Raedt,Luc:使用加权布尔公式在概率逻辑程序中进行推理和学习(2015) 米歇尔斯,斯特芬; 霍默森,阿珍; 卢卡斯,彼得·J·F。; Velikova,Marina:基于广义分布语义的新概率约束逻辑编程语言(2015) 范兰斯特,威比; Vennekens,Joost:CP逻辑前向采样算法的OpenCL实现(2015) 加瓦内利,马可; 里古兹,法布里齐奥; 米拉诺,米歇拉; Paolo,Cagnoli:战略环境评估的基于逻辑的决策支持(2010) 里古兹,法布里齐奥; 斯威夫特,特伦斯:带注释析取逻辑程序推理的表和答案包容(2010) 文尼肯斯,约斯特; 布鲁努赫,莫里斯; Denecker,Marc:因果建模中的包含事件:CP逻辑中的干预和反事实(2010) 文尼肯斯,约斯特; Denecker,马克; Bruynooghe,Maurice:CP逻辑:因果概率事件的语言及其与逻辑编程的关系(2009) 文尼肯斯,约斯特; Denecker,马克; Bruynooghe,Maurice:CP逻辑:因果概率事件的语言及其与逻辑编程的关系(2009) ioport公司