期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
A characterization of answer sets for logic programs 被引量:1
1
作者 ZHANG MingYi ZHANG Ying FangZhen LiN 《Science in China(Series F)》 2007年第1期46-62,共17页
Checking if a program has an answer set, and if so, compute its answer sets are just some of the important problems In answer set logic progremming. Solving these problems using Gelfond and Llfschltz's original defin... Checking if a program has an answer set, and if so, compute its answer sets are just some of the important problems In answer set logic progremming. Solving these problems using Gelfond and Llfschltz's original definition of answer sets Is not an easy task. Alternative charaoterlzatlons of answer sets for nested logic programs by Erdem and Llfschltz, Lee and Llfschltz, and You at el. are based on the completion semantics and various notions of tlghtnese. However, the notion of tightness Is a local notion In the sense that for different answer sets there are, In general, different level mappings capturing their tlghtnese. This makes It hard to be used In the deelgn of algorithms for computing answer sets. This paper proposes a charecterization of answer sets based on sets of generetlng rules. From this charaoterlzation new algorithms are derived for computing answer sets and for performing some other reasoning teaks. As an application of the charecterlzatlon a sufficient and necessary condition for the equivalence between answer set sementics and completion semantics has been proven, and a basic theorem Is shown on computing answer sets for nested logic programs baaed on an extended notion of loop formulas. These results on tlghtnese and loop formulas are more general than that in You and Lin'a work. 展开更多
关键词 nested logic programming characterization of answer sets completion semantics TIGHTNESS loop formulas
原文传递
BSD/I18N—Internationalization of the 4.3BSD U N IX System
2
作者 周建强 杨立群 +1 位作者 潘世雷 谈宏 《Journal of Computer Science & Technology》 SCIE EI CSCD 1993年第4期337-346,共10页
BSD/118N prelect is established for the purpose of internationalizing the 4.3BSD UNIX systems. Its tasks are to provide an internationalized application software development environment,support the 4.3BSD commands/uti... BSD/118N prelect is established for the purpose of internationalizing the 4.3BSD UNIX systems. Its tasks are to provide an internationalized application software development environment,support the 4.3BSD commands/utilities with multi-language processing,and build a complete English and Japanese us- er environments without excluding other languages like Chinese and Korean. 展开更多
关键词 Intermationalization UNIX system character set ENVIRONMENT
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部