characterizations of stable model semantics for logic programs with     arbitrary constraint atoms

	characterizations of stable model semantics for logic programs with arbitrary constraint atoms
	Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan
	2009
发表期刊	THEORY AND PRACTICE OF LOGIC PROGRAMMING
ISSN	1471-0684
卷号	9 期号:4 页码:529-564
关键词	Answer Set Programing Abstract Constraint Atoms Stable Model Semantics Gelfond-lifschitz Transformation
部门归属	Shen, Yi-Dong Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. You, Jia-Huai; Yuan, Li-Yan Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2H1, Canada.
学科领域	Computer Science ; Theory & Methods ; Software Engineering ; Computer Science
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/7850
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Shen Yi-Dong,You Jia-Huai,Yuan Li-Yan. characterizations of stable model semantics for logic programs with arbitrary constraint atoms[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING,2009,9(4):529-564.
APA	Shen Yi-Dong,You Jia-Huai,&Yuan Li-Yan.(2009).characterizations of stable model semantics for logic programs with arbitrary constraint atoms.THEORY AND PRACTICE OF LOGIC PROGRAMMING,9(4),529-564.
MLA	Shen Yi-Dong,et al."characterizations of stable model semantics for logic programs with arbitrary constraint atoms".THEORY AND PRACTICE OF LOGIC PROGRAMMING 9.4(2009):529-564.