图规划 176篇文献引用(1991–2023) 软件作者： 布卢姆，Avrim L。；梅里克·弗斯特。 相关软件： 步行卫星；PDDL；STAN… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： 代理峰值；Jadex公司；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ConGolog公司 引用于40篇文献(1999–2022) 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 相关软件： 高尔夫；AgentSpeak；METATEM… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
脱咖啡因咖啡 11份文件引用(2000–2005) 软件作者： 约翰·格雷厄姆（John R.Graham）。；基思·S·戴克。 相关软件： 旅行者号；GroupKit；高尔夫… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
IndiGolog公司 3份文件引用(2016–2020) 软件作者： De Giacomo，G.，Y.Lespérance，H.J.Levesque，S.Sardina 相关软件： 高尔夫；2APL；代理发言… 主要字段： 计算机科学（68-XX）
Yochan公司 5份文件引用（2009-2011年） 软件作者： J.Benton、S.Kambhampati、M.Do 相关软件： PDDL；步行卫星；CP网络… 主要字段： 计算机科学（68-XX）
PPlan（PPlan） 2份文件引用(2011–2020) 软件作者： Bienvenu，M。；弗里茨，C。；Sohrabi，S。；南卡罗来纳州麦克莱思。 相关软件： MiniSat；nuXmv；Walksat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）