• 卡卡尔

  • 74篇参考文献[SW09899]
  • 实现因果的片断逻辑本文描述了“非单调因果理论”。CCALC语言相关默认 逻辑逻辑编程计算上,CCALC使用想法…
  • AutoDy3D

  • 7篇参考文献[SW03363]
  • 使用安全性最小化输入需求符合逻辑的 默认值
  • DL2ASP

  • 2篇参考文献[SW0208]
  • DL2ASP的实现默认 逻辑通过回答集编程。在本文中,我们证明了赖特…默认 逻辑在命题的情况下,可以通过识别……转化为答案集编程。公式中的内在关系默认理论基于。。。这个想法,我们实现了一个新的默认 逻辑求解器-DL2ASP。我们报告了一些实验结果…
  • 德雷斯

  • 3篇参考文献[SW32612]
  • 推理系统,称为DRES。德雷斯工具默认 逻辑赖特通过支持几个基本的推理…
  • 达尔

  • 1篇参考文献[SW2543]
  • 约束和有理定理证明默认 逻辑学.默认 逻辑学代表一个重要的班级简单的强大的推理规则,称为默认值这些逻辑系统模型推理模式…与“点”相反,从而使之正式化。默认推理,一种特殊类型的非单调推理…约束和理性命题的证明者默认 逻辑学. 一种改进的语义表格方法…
  • 赛车手

  • 65篇参考文献[SW09837 ]
  • 描述的高度优化表演算逻辑SRIQ(D)。赛车手是接班人。LISPWorks,也用于(SETF ASDF::*)默认-编码*:默认应进行评估。赛车是分布式的…提供推理服务,例如,符合逻辑的绑架。赛车还提供强大的…
  • BL2D V2

  • 31篇参考文献[SW1078]
  • 内点生成遵循正面逻辑,它们的连接实现了…横坐标。内部中间节点由默认,在相应边缘的中间…
  • ESBMC

  • 7篇参考文献[SW0946]
  • 使用SMT的输出验证条件逻辑学QFY-AUFBV和QFIAUFLIRAA。ESBMC构建…框架。ESBMC使用SMT求解器Z3(默认和BooLoor,其中也包括…
  • 分模块

  • 1篇参考文献[SW20178]
  • 变量默认所有固有类型的类型(整数、实数、复数)符合逻辑的和性格…
  • 第三方物流

  • 2篇参考文献[SW21298]
  • 价值可以通过默认下面的数据类型:整型(种类…真(4, 8类);逻辑的弦乐值可以是标量或数组…
  • AMG2013

  • 5篇参考文献[SW13861 ]
  • 基准可以建立各种测试问题。这个默认问题是拉普拉斯类型问题…通过简单地将网格细分成符合逻辑的
  • 里巴

  • 1篇参考文献[SW29 435]
  • 描述和包含优先级的历史默认值,被翻译成答案集PROlog…用非单调表示和推理逻辑基于不确定性和不完整性的概率描述违反推理的可靠和有效的推理默认值在复杂的情况下,嘈杂的观察和不可靠的行动…
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • R

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 太阳能

  • 18篇参考文献[SW088]
  • 太阳能(高级推理溶胶)是第一个…