QQ客服 官方微博 反馈留言

	Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies
	Chowdhury, Md. Solimul[1]; Liu, Fangfang[2]; Chen, Wu[3]; Karimi, Arash[4]; You, Jia-Huai[5]
	2015
会议名称	LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)
会议日期	2015-01-01
关键词	Polynomial approximation Well-founded semantics Generalized atoms
页码	279-296
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2266938
专题	上海大学
作者单位	1.[1]Univ Alberta, Dept Comp Sci, Edmonton, AB, Canada. 2.[2]Shanghai Univ, Coll Comp & Informat Sci, Baoshan, Peoples R China. 3.[3]Southwest Univ, Coll Comp & Informat Sci, Chongqing, Peoples R China. 4.[4]Univ Alberta, Dept Comp Sci, Edmonton, AB, Canada. 5.[5]Univ Alberta, Dept Comp Sci, Edmonton, AB, Canada.
推荐引用方式 GB/T 7714	Chowdhury, Md. Solimul[1],Liu, Fangfang[2],Chen, Wu[3],et al. Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies[C]. 见:LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014). 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。