Institutional Repository
| characterizations of stable model semantics for logic programs with arbitrary constraint atoms | |
| Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan | |
| 2009 | |
| Source | THEORY AND PRACTICE OF LOGIC PROGRAMMING
 |
| ISSN | 1471-0684 |
| Volume | 9Issue:4Pages:529-564 |
| Keyword | Answer Set Programing Abstract Constraint Atoms Stable Model Semantics Gelfond-lifschitz Transformation |
| 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. |
| Subject | Computer Science ; Theory & Methods ; Software Engineering ; Computer Science |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7850 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment