a generalized gelfond-lifschitz transformation for logic programs with abstract constraints

	a generalized gelfond-lifschitz transformation for logic programs with abstract constraints
	Shen Yi-Dong; You Jia-Huai
	2007
会议名称	AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
会议录名称	Proceedings of the National Conference on Artificial Intelligence
页码	483-488
会议日期	37459
会议地点	Vancouver, BC, Canada
收录类别	EI
出版地	United States
ISBN	1577353234
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China; (2) Department of Computing Science, University of Alberta, Edmonton, Alta. T6G 2E8, Canada
关键词	Constraint Theory Mathematical Models Mathematical Transformations Set Theory
主办者	Association for the Advancement of Artificial Intelligence, AAAI; National Science Foundation, NSF; ACM, SIGART; Boeing; Cornell University, Intelligent Information Systems Institute; et al
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11160
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Shen Yi-Dong,You Jia-Huai. a generalized gelfond-lifschitz transformation for logic programs with abstract constraints[C]. United States,2007:483-488.