沈榆平

作品数:6被引量:2H指数:1
导出分析报告
供职机构:中山大学人文科学学院逻辑与认知研究所更多>>
发文主题:英文回答集编程逻辑程序相变大学逻辑更多>>
发文领域:哲学宗教自动化与计算机技术理学文化科学更多>>
发文期刊:《逻辑学研究》《软件学报》《南京大学学报(数学半年刊)》《国际学术动态》更多>>
所获基金:国家自然科学基金国家社会科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
前提嵌套程序和基数约束程序的简洁性研究被引量:1
《逻辑学研究》2016年第2期14-31,共18页张燕 沈榆平 赵希顺 
国家社会科学基金青年项目<逻辑系统的简洁性研究>(14CZX058)资助
直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简...
关键词:简洁性 回答集 基数约束程序 前提嵌套程序 
第八届逻辑与认知国际会议报道(英文)
《逻辑学研究》2009年第4期114-119,共6页沈榆平 
由中山大学逻辑与认知研究所主办的逻辑与认知国际研讨会自2001年开始每年举办一次,内容涉及逻辑学、计算机科学、数学、认知科学和哲学,共同的目的在于发展中国的逻辑学研究及促进中国与国外逻辑学家的交流与合作。第八届逻辑与认知国...
关键词:国际研讨会 大学逻辑 会议报道 澳大利亚墨尔本大学 逻辑学家 哲学逻辑 中国香港 亚太地区 
可满足性理论及应用研究进展
《国际学术动态》2009年第1期35-38,共4页冯世光 沈榆平 
由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用(SA佗008)国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要...
关键词:可满足性 应用 国际会议 人文社会科学 学术年会 大学数学 中山大学 研究基地 
一个带破圈启发方法的回答集编程系统(英文)被引量:1
《软件学报》2008年第4期869-878,共10页沈榆平 赵希顺 
国家自然科学基金Nos.60573011,10410638;国家教育部基地重大招标项目No.05JJD72040122~~
回答集编程(answer set programming,ASP)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为ASP提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为LPS.实验结果显示,相对于...
关键词:回答集编程 启发方法 前向搜索 逻辑程序 相变 
整合非单调推理及时态推理(英文)
《南京大学学报(数学半年刊)》2007年第2期187-203,共17页沈榆平 赵希顺 
NSFC of Project (No.60573011,10410638)
在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.
关键词:非单调推理 时态约束推理 回答采编程 计算复杂性 
第2届国际逻辑化方法建模广州国际研讨会
《国际学术动态》2007年第4期48-49,共2页熊明辉 沈榆平 
2006年9月24—27日,由中山大学逻辑与认知研究所主办的第2届国际逻辑化方法建模会议在广州举行,学术牵头人为赵希顺教授。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等8个国家的15名国外代表...
关键词:国际研讨会 逻辑化 广州 建模 学术研讨会 香港科技大学 广西师范大学 中山大学 
检索报告 对象比较 聚类工具 使用帮助 返回顶部