• 模特儿

  • 236篇参考文献[SW04631]
  • 基于稳定模型语义正常的逻辑程序基本理念…
  • 模型

  • 65篇参考文献[ SW044 35]
  • 搜索引擎的枚举模型逻辑程序-可能的解决方案,在分离的情况下…基于二者之间的关系语义答案集与完成语义逻辑程序对于大类的程序称为…
  • 平方码

  • 38篇参考文献[SW03056]
  • 模态对应与算法完备性逻辑. IV。语义的SqEMA的扩展…
  • 勒普斯

  • 37篇参考文献[SW02579]
  • 定义声明性和可操作性语义序列的逻辑程序(或动态)逻辑程序优先级的集合。动态作用逻辑编程就是运用相互的关系…语义它们的结合。但是,在具体情况下,如何是一系列逻辑程序
  • 洛特雷

  • 24篇参考文献[SW0764]
  • 模态和描述中公式的可满足性逻辑学. 这个系统叫做LoTCRe2.0…旨在覆盖所有克里普克-语义的基于逻辑学. 它是用Java实现的,其特征是…面向可能世界的学习系统语义基于表格的证明方法…
  • 阿贝拉

  • 46篇参考文献[SW09461 ]
  • 规格逻辑支持结构的透明编码语义规则,也使他们的…
  • 卡卡尔

  • 74篇参考文献[SW09899]
  • 实现因果的片断逻辑本文描述了“非单调因果理论”。奥斯汀这个语义CCALC的语言与默认相关逻辑逻辑
  • 赛车手

  • 65篇参考文献[SW09837 ]
  • 例如,例如符合逻辑的绑架。赛车手也提供了强大的语义上定义良好的连接词…
  • TVLA

  • 31篇参考文献[ SW0988]
  • 静态分析。我们提出TVLA(三值)逻辑分析器)。TVLA是一个“YACC”样的框架…操作的语义,在那里运作语义指定使用符合逻辑的公式。TVLA已经实施…
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 逻辑程序设计开发了一个符合逻辑的表示概率因果律的语言。我们的兴趣…方面,已在语义的在Shafer的框架下…提供方便符合逻辑的他的代表语义的目标第二,这种语言也有相关性…概率的逻辑编程特别地,我们证明了形式化。语义一个理论…
  • 煤堆

  • 17篇参考文献[SW16105]
  • 余代数逻辑编程:来自语义实施。共归纳的定义,如无限的定义…流,常常可以用优雅来形容逻辑程序,但其中的SLD驳斥…逻辑程序可以同时具有递归和辅助特征。观测与共聚语义问题,从抽象范畴理论开始语义发展余代数来表征自然产生的树木…
  • 回路

  • 29篇参考文献[SW1092]
  • Java类语义高阶逻辑. 它是一个前线…
  • 可控硅

  • 19篇参考文献[SW06939 ]
  • 提高可控硅语义通过启用一级事件逻辑通过两个符号PRD…逻辑允许我们提高SCR表的可读性,消除它们的模糊性。语义简单且避免了时间复杂性逻辑
  • Java+ITP

  • 8篇参考文献[SW32 259]
  • 基于HORAE的验证工具逻辑代数语义. Java+ITP是一种实验工具。代数连续传递方式(CPS)语义这个片段作为一个等式理论在Maude…支持霍尔的组合推理逻辑对于我们提出的这个Java片段…可扩展模块化改写逻辑 语义编程语言,其中CPS公理化确实是…
  • 诺莫尔

  • 22篇参考文献[SW07094]
  • 语义NoMo实现应答集语义正常情况下逻辑程序它实现了一种新的范式…
  • 拉帕斯

  • 40篇参考文献[SW0463]
  • 其他语义(经典否定,部分稳定模型)翻译成正常逻辑程序
  • 三倍的

  • 21篇参考文献[SW02460]
  • 语言为语义的网页三角喇叭逻辑并借用许多基本的…逻辑而SiLRI就是三重没有固定语义面向对象的…主题图,或RDF模式。描述逻辑学RDF(模式)的扩展,如油和DAML…与描述交互的模块逻辑分类器,例如事实,导致混合规则…
  • GNT

  • 20篇参考文献[SW0367]
  • 稳定模型的实现语义析取逻辑程序[GelFoand和Lifschitz…
  • 科洛斯

  • 13篇参考文献[SW07016]
  • 适合于共同的语义. 这包括例如逻辑学K,KD,Pauly联盟逻辑逻辑学通过提供完整的公理化来很容易地融入CoLoSS。语义模块组合的综合决策过程逻辑学这包括两种模式的融合…
  • C小调

  • 19篇参考文献[ SW07939 ]
  • 分离逻辑为C小音。在本文中,我们给出了一个小步骤。语义……我们分离的合理性证明逻辑. 这是第一台大型机器…分离证明逻辑小步语义. 这方面的工作…可以使用分离来验证C小音程序逻辑并通过证明正确的汇编…