位置：成果数据库 > 期刊 > 期刊详情页
属性论的分级推理方法
  • ISSN号：1001-6600
  • 期刊名称：《广西师范大学学报：自然科学版》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]中山大学逻辑与认知研究所,广东广州510275, [2]上海海事大学信息工程学院,上海200135
  • 相关基金：国家自然科学基金资助项目（60573011）
作者： 聂文龙[1], 冯嘉礼[2]
关键词： 属性论, 定性映射, 后承式, attribute theory, qualitative map , sequent
中文摘要：

有效地处理属性论的分级现象，后承式的推理方法被引入至计算中，结果形成属性论的一个新的计算框架。

英文摘要：

The grading phenomena in attribute theory gains effective treatment in this paper. We introduce the notion of sequent to the computation,and it results a new computing frame in the research.

同期刊论文项目
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
同项目期刊论文
Computational Complexity of Quantified Boolean Formulas with Fixed Maximal Deficiency，
Linear CNF Formulas and Satisfiability,
The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas,
Boolean Functions as Models for Quantified Boolean Formulas,
Minimal False Quantified Boolean Formulas,
An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas,
度量空间中co-regular集合的可计算性
A Timed Action Language TE
Complexity of Operators on Compact Sets
An Answer Set Programming System with Cycle Breaking Heuristic,
Comparison of Semantics of Disjunctive Logic Programs Based on Model-equivalent Reduction，
Representations of Co-regular Subsets on Euclidean Spaces
Co-regular集的可计算性探讨
量化带标公式的消解
整合非单调推理及时态推理
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction
一个带破圈启发方法的回答集编程系统
期刊信息
  • 《广西师范大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:广西师范大学
  • 主办单位:广西师范大学
  • 主编：苏桂发
  • 地址：桂林市三里店育才路15号
  • 邮编：541004
  • 邮箱：gxsdzkb@mailbox.gxnu.edu.cn
  • 电话：0773-5848958
  • 国际标准刊号：ISSN：1001-6600
  • 国内统一刊号：ISSN：45-1067/N
  • 邮发代号:48-54
  • 获奖情况:
  • 1994年，获广西优秀期刊三等奖,1995年，获广西高校理科学报B类一等奖,1996年，获广西第三届优秀报刊二等奖,1999年，获广西首届高校优秀学报二等奖,2001年，被评为第四届广西优秀科技期刊,2002年，获第二届广西高校优秀学报二等奖,2002年，入选中国期刊方阵“双效”期刊,2004年，获全国高校优秀科技期刊一等奖,2005年，获第五届“广西十佳自然科学期刊”称号,2007年，获第六届“广西十佳自然科学期刊”称号,2008年，被评为全国高校科技期刊先进集体
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,英国农业与生物科学研究中心文摘,波兰哥白尼索引,德国数学文摘,美国剑桥科学文摘,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:5888