Subject: Computer Science
; Software Engineering; Computer Science
; Theory & Methods
Title: characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Author: Shen Yi-Dong
; You Jia-Huai
; Yuan Li-Yan
Keyword: answer set programing
; abstract constraint atoms
; stable model semantics
; Gelfond-Lifschitz transformation
Source: THEORY AND PRACTICE OF LOGIC PROGRAMMING
Issued Date: 2009
Volume: 9, Issue: 4, Pages: 529-564 Department: 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.
Content Type: 期刊论文
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.