位置：成果数据库 > 期刊 > 期刊详情页
描述逻辑系统vL循环术语集的可满足性及推理机制
  • 期刊名称：中国科学, E辑: 信息科学, 2009, 已录用. (1 是该文的英文版)
  • 时间：0
  • 相关项目：程序及代数结构的逻辑性质
同期刊论文项目
程序及代数结构的逻辑性质
期刊论文 55 会议论文 1
同项目期刊论文
谓词模态逻辑到对应物理论的翻译
描述逻辑εLU概念及术语公理集的表达能力刻画
描述逻辑εLN循环术语集的不动点语义及推理
独立于设计者的行动推理
描述逻辑εL混合循环术语集的LCS和MSC推理
模糊描述逻辑L-ALCN
带RVM的描述逻辑(L混合循环术语集的语义及推理
多主体系统中的模糊匹配
Reasoning with rough description logics: An approximate concepts approach
Reasoning within expressive fuzzy rough description logics
循环的ALCN-Tbox具有模型的条件
描述逻辑(L混合循环术语集的LCS和MSC推理
带传递关系和存在量词的描述逻辑MSC推理
基于描述逻辑的模糊ER模型
描述逻辑FL(循环术语集的语义及推理
描述逻辑(LN循环术语集的不动点语义及推理
描述逻辑(ALCQO的语义及推理
带n-元存在量词的描述逻辑MSC推理
一种分布式动态描述逻辑
Satisfiability and reasoning mechanism of terminological cycles in description logic vL
描述逻辑(L循环术语集的混合推理
一种模糊动态描述逻辑
DDS 并行模型及其形式化
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
面向语义Web的描述逻辑
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
描述逻辑FL-循环术语集的语义及推理
DDS并行模型及其形式化
基于信息分存的整数小波大容量数据隐藏方法
基于服务提供方与请求方的语义Web服务选取研究
网络语言实验室的教学模式的研究与设计
P中与归纳等价的几个条件
基于句型模板的智能问答系统