实现因果的片断逻辑本文描述了"非单调因果理论".CCALC语言相关默认 逻辑和逻辑编程计算上,CCALC使用想法...
 使用安全性最小化输入需求符合逻辑的 默认值...
 DL2ASP的实现默认 逻辑通过回答集编程.在本文中,我们证明了赖特...默认 逻辑在命题的情况下,可以通过识别......转化为答案集编程.公式中的内在关系默认理论基于...这个想法,我们实现了一个新的默认 逻辑求解器-DL2ASP.我们报告了一些实验结果...
 推理系统,称为DRES.德雷斯工具默认 逻辑赖特通过支持几个基本的推理...
 达尔
 1篇参考文献[SW2543]
 约束和有理定理证明默认 逻辑学.默认 逻辑学代表一个重要的班级简单的强大的推理规则,称为默认值这些逻辑系统模型推理模式...与"点"相反,从而使之正式化.默认推理,一种特殊类型的非单调推理...约束和理性命题的证明者默认 逻辑学. 一种改进的语义表格方法...
 赛车手
 65篇参考文献[SW09837 ]
 描述的高度优化表演算逻辑SRIQ(D).赛车手是接班人.LISPWorks,也用于(SETF ASDF::*)默认-编码*:默认应进行评估.赛车是分布式的...提供推理服务,例如,符合逻辑的绑架.赛车还提供强大的...