学科主题: Computer Science
; Software Engineering; Computer Science
; Theory & Methods
题名: characterizations of stable model semantics for logic programs with arbitrary constraint atoms
作者: Shen Yi-Dong
; You Jia-Huai
; Yuan Li-Yan
关键词: answer set programing
; abstract constraint atoms
; stable model semantics
; Gelfond-Lifschitz transformation
刊名: THEORY AND PRACTICE OF LOGIC PROGRAMMING
发表日期: 2009
卷: 9, 期: 4, 页: 529-564 部门归属: 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.
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7850
Appears in Collections: 计算机科学国家重点实验室 _期刊论文
There are no files associated with this item.
Recommended Citation:
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-01-01,9(4):529-564.
