• 奥姆斯

  • 39篇参考文献[SW03359]
  • 操纵语言)与OMRS开放 机械化的 推理 系统索赔是相互作用的水平…
  • 努斯莫

  • 284篇参考文献[SW04131]
  • 联合项目:嵌入式系统信息技术中心的单位…大学机械化的 推理吉诺瓦大学集团机械化的 推理大学组…NuSMV被设计成一个开放模型检查体系结构,…
  • 欧米伽蚂蚁

  • 8篇参考文献[SW19626]
  • 蚂蚁开放方法结合交互式和自动定理证明。我们提出美元Omega…建议机制. 定理证明器从基础建议继承有益的性质。机制这样…支持外部的分布式集成推理 系统. 我们还讨论了如何实现…
  • 莱拉

  • 10篇参考文献[SW02266]
  • 限于人工智能和分布式系统. 进入开放和分布式环境,其中大多数事实…能够自主执行某种形式的推理可能避免知识不完整的手段…以未知事实为依据合适的机制处理不完整和多元的知识…
  • 因斯特

  • 1篇参考文献[ SW02055 ]
  • 规划机构提供机制捕捉和原因关于“正确”和“不正确”的行为…治理开放多代理和面向服务的软件体系结构系统. 我们特定领域的行动…
  • 爱德华克

  • 1篇参考文献[SW0242]
  • 人工智能技术的应用正在帮助开放在该领域有了新的发展前景…使专家成为可能推理和知识技能,并利用优势…自动调节智能辅导工具的生成系统基于模型。这种表现形式…电脑化辅导系统. 有关主题的信息,关于推理机制
  • 阿希塔

  • 1篇参考文献[SW02557 ]
  • 尤其是移动代码和开放环境,在电信应用的背景下…机制在几个不同的抽象和实现层上。在底层基础上机制系统. 安全功能被添加到代理中,并启用它们。原因关于安全…
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统. IT
  • MATLAB

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

  • 7170篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

  • 730篇参考文献[SW0789]
  • 还原是一种互动系统对于一般代数…