ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；GitHub；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
MPTP 0.2 55份文件引用（2006年至2021年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SQEMA公司 40篇文献引用（2005年至2021年） 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
kFOIL公司 14篇文献引用(2007–2022) 软件作者： Landwehr，N.、Passerini，A.、De Raedt，L.、Frasconi，P。 相关软件： nFOIL；阿列夫；UCI-ml… 主要字段： 数理逻辑与基础（03-XX）；功能分析（46-XX）；统计学（62-XX）…
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；Costa，Fabrizio；Luc De Raedt；库尔特·德·格雷夫 相关软件： ProbLog；PyTorch；阿莱夫… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
GraphSAINT公司 引用于3份文件(2023) 软件作者： 曾汉庆、周洪宽、阿吉特斯·斯利瓦斯塔瓦、拉戈帕尔·坎南、维克托·普拉桑纳 相关软件： DeepWalk；GitHub；群集-GCN… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FOIL-D公司 引用于3份文件(2004–2007) 软件作者： 约瑟夫·博克霍斯特（Joseph Bockhorst）；艾琳·昂 相关软件： 迈达斯；阿列夫；CrossMine公司 主要字段： 计算机科学（68-XX）
INLOCANDA公司 引用于3份文件(2020–2023) 软件作者： Gianvito Pio；塞西，米开朗基罗；弗朗西丝卡·普里西亚达罗；多纳托·马勒巴 相关软件： IOTA；阿拉伯国家石油公司；单词2vec… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
K加热器 引用于3份文件(2012) 软件作者： 马克·芬塔默（Marc Finthammer）；马蒂亚斯·蒂姆 相关软件： 炼金术；ProbLog（问题日志） 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Warmr公司 2份文件引用(2005–2012) 软件作者： R.D.King、A.Srinivasan、L.Dehaspe 相关软件： CrossMine；TreeWiz；CloseGraph… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
丽莎 1份文件引用(1992) 软件作者： 弗朗西斯科·马里努齐；斯特凡诺·索利安尼 相关软件： LISPACK；穆马特-83 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）
付款 1份文件引用(2022) 软件作者： Andriushchenko，R。；乔什卡，M。；南部丛林。；卡托恩，J-P；斯图品斯克。；席尔瓦，A。；KRM莱诺 相关软件： PDDL；通过；PROPhESY… 主要字段： 计算机科学（68-XX）
维特甘 在0个文档中引用 软件作者： Kwonjoon Lee、Huiwen Chang、Lu Jiang、Han Zhang、Zhoowen Tu、Ce Liu 相关软件： CIPS-3D；Swin变压器；欺骗D… 主要字段： –