莱布尼兹

莱布尼兹系统是一个用于开发和实现基于逻辑的智能系统的软件包。该软件包涵盖了此类系统构建的各个方面,模块包括:-逻辑计算-从数据学习逻辑公式-数据离散化-从数据中发现子组-懒惰学习者的数据估计-模型降维-图和矩阵分解-约束优化解决涉及单目标或多目标函数的问题。所有程序都是用C语言编写的,使用的是ANSI标准。安装是在Linux/Unix下进行的。使用其他操作系统进行安装应该不难,但手册中没有介绍。


zbMATH中的参考文献,2标准条款)

显示第1到第20个结果,共31个。
按年份排序(引用)
  1. Bertolim,Maria A.;Lima,Dahisy V.S.;Mello,Margarida P.;de Rezende,Ketty A.;da Silveira,Mariana R.:与光谱序列相关的代数和动力学对消(2017)
  2. Papalamprou,Konstantinos;Pitsoulis,Leonidas S.:带所有图形组合电路的签名图形拟阵(2017)
  3. Chen,Vinciane;Rao,Angeline;Rusnak,Lucas J.;Yang,Alex:通过符号弱行走对定向超图平衡的表征(2015)
  4. Rusnak,Lucas J.:定向超图:介绍与平衡(2013)
  5. Walter,Matthias;Truemper,Klaus:单模块性测试的实施(2013)
  6. 克莱马,伊夫(编辑);哈默,彼得L.(编辑):布尔函数。理论、算法和应用(2011)
  7. 布鲁尼,雷纳托:基于逻辑的聚合物序列分析方法(2010)
  8. Haus,Utz-Uwe;Truemper,Klaus;Weismantel,Robert:特定信令网络3CNF公式的线性可满足性算法(2009)
  9. 布鲁尼,雷纳托:解决肽测序的可满足性(2008)
  10. Bruni,Renato;Santori,Andrea:DPLL算法中基于冲突的分支启发式的新更新准则(2008)
  11. Michele Conforti;Cornuéjols,Gérard;Vušković,Kristina:平衡矩阵(2006)
  12. Bruni,Renato:关于最小不满足子公式的精确选择(2005)
  13. Pretolani,Daniele:概率逻辑和优化SAT:PSAT和CPA模型(2005)
  14. Bruni,Renato:通过SAT解算器解决大型数据集的误差修正(2004)
  15. Dasgupta,Sudeshna;Chandru,Vijay:最小不满足集:分类与界(2004)
  16. 克劳斯:基于逻辑的智能系统设计。(2004年)
  17. Bruni,Renato:用自适应核心搜索逼近最小不满足子公式(2003)
  18. Bruni,Renato;Sassano,Antonio:命题可满足性的完全自适应算法(2003)
  19. Franco,John;Van Gelder,Allen:关于某些多项式时间可解类的一个观点(2003)
  20. David A.Plaisted;Biere,Armin;Zhu,Yunshan:量化布尔公式的可满足性过程(2003)