• 烟雾

  • 引用238篇文章[sw04631]
  • 基于稳定模型语义学正常的逻辑程序。基本思想。。。
  • C模型

  • 引用66篇文章[sw04435]
  • 搜索引擎的枚举模型逻辑程序——可能的解决方案,在析取的情况下。。。基于两者之间的关系语义学... 答案集和完成语义学对于逻辑程序。对于一个叫做。。。
  • SQEMA公司

  • 在38篇文章中引用[sw03056]
  • 模态的算法对应性与完备性逻辑. 四。语义的扩展SQEMA。。。
  • 卢普斯

  • 引用了37篇文章[sw02579]
  • 定义了声明性和可操作性语义学的序列逻辑程序(或动态逻辑程序。。。一系列优先事项。动态的作用逻辑编程是利用相互关系。。。语义学他们的结合。但在具体情况下逻辑程序。。。
  • 洛特雷克

  • 引用24篇文章[sw07684]
  • 公式在模态和描述中的可满足性逻辑学. 这个系统叫做LoTREC2.0。。。旨在覆盖所有克里普克-语义的基于逻辑学. 它是用Java实现的,其特点是。。。可能世界的学习系统语义学以及基于表格的证明方法。。。
  • 阿贝拉

  • 引用49篇文章[sw09461]
  • 规范逻辑它支持结构的透明编码语义学规则,也使他们的。。。
  • TVLA公司

  • 引用32篇文章[sw09878]
  • 静态分析。我们提供TVLA(三值-逻辑分析仪)。TVLA是一个类似YACC的框架。。。操作的语义学,其中语义学使用指定符合逻辑的公式。TVLA已经实施。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 实现因果关系的一个片段逻辑在论文“非单调因果理论。。。奥斯汀。这个语义学CCalc的语言与违约有关逻辑逻辑...
  • 赛车手

  • 引用了65篇文章[sw09837]
  • 例如,例如。,符合逻辑的绑架。Racer还提供强大的语义上定义明确的连词。。。
  • CP逻辑

  • 17条引用[sw06947]
  • 逻辑本文开发了一个符合逻辑的表示概率因果律的语言。我们的兴趣。。。方面,已经在语义的在他的框架里由沙弗来决定。。。提供方便符合逻辑的代表his语义的物体。第二,这种语言也有关联性。。。概率逻辑编程。特别是,我们证明语义学理论上。。。
  • 17条引用[sw16105]
  • 煤系逻辑编程:自语义学执行。共同归纳的定义,例如无限的。。。溪流,往往可以用优雅来形容逻辑但SLD反驳的节目。。。逻辑程序可以同时具有递归和corecursive特性。观测与煤层气语义学... 问题,从抽象范畴理论开始语义学,发展coalgebra来描述自然生长的树木。。。
  • 循环

  • 引用了29篇文章[sw10292]
  • Java)类语义学以更高的顺序逻辑. 它作为一个幌子。。。
  • 偿付能力资本要求

  • 引用19篇文章[sw06939]
  • 提高SCR语义学通过按第一顺序启用事件逻辑通过两个符号。。。逻辑允许我们增加SCR表的可读性,消除它们的歧义语义学... 简单,避免了时间的复杂性逻辑...
  • L分析

  • 引用41篇文章[sw04633]
  • 其他语义学(经典的否定,部分稳定的模型)把它们转换成正态逻辑程序。。。
  • Java+ITP

  • 引用8篇文章[sw32259]
  • 基于Hoare的验证工具逻辑代数的语义学. Java+ITP是一个实验性的工具。。。代数连续传递样式(CPS)语义学作为一个等式理论在莫德。。。支持合成推理逻辑对于我们建议的这个Java片段。。。可扩展和模块化重写逻辑 语义学对编程语言来说,CPS公理化确实是。。。
  • GNT公司

  • 参考22篇文章[sw00367]
  • 稳定模型的实现语义学对于析取逻辑节目[盖尔方德和利夫希茨。。。
  • 诺莫尔

  • 参考22篇文章[sw07094]
  • 语义学NoMoRe实现了答案集语义学正常的逻辑程序。它实现了一种新颖的范式。。。
  • 三倍的

  • 引用21篇文章[sw02460]
  • 语言语义的网状物。TRIPLE是基于Horn的逻辑借了很多基本的。。。逻辑sirli是三元组没有固定的语义学面向对象的。。。主题映射。说明逻辑学RDF(模式)的扩展,如OIL和DAML。。。与描述交互的模块逻辑分类器,例如事实,产生一个混合规则。。。
  • 黄蜂

  • 引用36篇[sw09565]
  • 析取运算器逻辑稳定模型下的程序语义学. 黄蜂实施最初引进的技术。。。
  • 巨像

  • 在14篇文章中引用[sw07016]
  • 服从柯尔盖布里克语义学. 这包括逻辑学K、 KD,保利的联盟逻辑...逻辑学通过提供一个完整的公理,可以很容易地将这些公理整合成一个完整的公理语义学... 综合决策过程的模块组合逻辑学包括两个模态的融合。。。