×

找到6个软件包(结果1-6)

ProbLog(问题日志)

119篇文献引用(2007–2023)
软件作者: Joris Renkens;范登·布勒克(Van Den Broeck),盖伊(Guy);齐格弗里德·尼杰森
相关软件: 棱镜;PITA;CP逻辑…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

PITA公司

在24份文件中引用(2010–2023)
软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司
相关软件: ProbLog;CP逻辑;棱镜…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

DeepProbLog(深度探测日志)

18篇文献引用(2020–2023)
软件作者: 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特
相关软件: ProbLog;NeurASP;亚当…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

MCINTYRE公司

7份文件引用(2015–2019)
软件作者: 里古齐,F。
相关软件: ProbLog;PITA;CP逻辑…
主要字段: 计算机科学(68-XX)

cplint(cplint)

7份文件引用(2017–2022)
软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);朱塞佩,科塔;埃琳娜·贝洛迪;里卡多·泽斯
相关软件: ProbLog;SWI-预测;棱镜…
主要字段: 计算机科学(68-XX)

SMProb日志

2份文件引用(2022)
软件作者: 彼得罗·托蒂斯(Pietro Totis)、安吉丽卡·基米格(Angelika Kimmig)、吕克·德·雷特(Luc De Raedt)
相关软件: 克林戈;ProbLog;DeepProbLog…
主要字段: 计算机科学(68-XX)

筛选结果依据…