位置：立项数据库 > 立项详情页
程序及代数结构的逻辑性质
  • 项目名称：程序及代数结构的逻辑性质
  • 项目类别：面上项目
  • 批准号：60573010
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：王驹
  • 负责人职称：研究员
  • 依托单位：广西师范大学
  • 批准年度：2005
中文摘要：

研究各类代数结构的逻辑性质及程序的代数条件约束的计算复杂性和可满足性。包括各种主同余类的可定义性、一致有界可计算性、算法。建立计算的代数模型。这些研究，将对程序的代数约束理论及技术发展，对并行、并发计算的理论及技术的发展产生一定的影响。

中文主题词： 程序;代数约束;可满足性;逻辑性质;
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 55
  • 1
  • 0
  • 0
  • 0
期刊论文
谓词模态逻辑到对应物理论的翻译
描述逻辑ε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循环术语集的混合推理
一种模糊动态描述逻辑
描述逻辑系统vL循环术语集的可满足性及推理机制
DDS 并行模型及其形式化
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
面向语义Web的描述逻辑
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
描述逻辑FL-循环术语集的语义及推理
DDS并行模型及其形式化
基于信息分存的整数小波大容量数据隐藏方法
基于服务提供方与请求方的语义Web服务选取研究
网络语言实验室的教学模式的研究与设计
P中与归纳等价的几个条件
基于句型模板的智能问答系统
会议论文
Computing the number restriction deduced from the existential restriction in description logic with
相关项目
多路均衡控制的新方法及其在应急疏散控制中的应用
期刊论文 1 会议论文 7
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
王驹的项目
程序及代数结构的逻辑性质
期刊论文 30