LOGIC_PROGRAM

作品数：8被引量：4H指数：2
导出分析报告
相关期刊：《Wuhan University Journal of Natural Sciences》《Science China(Information Sciences)》《Journal of Computer Science & Technology》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
A novel logic-based automatic approach to constructing compliant security policies被引量：2
《Science China(Information Sciences)》2012年第1期149-164,共16页BAO YiBao YIN LiHua FANG BinXing GUO Li 
supported by National Basic Research Program of China(Grant No.2007CB311100);National High Technology Research and Development Program of China(Grant Nos.2009AA01Z438,2009AA01Z431);National Natural Science Foundation of China(Grant No.61070186)
It is significant to automatically detect and resolve the incompliance in security policy. Most existing works in this field focus on compliance verification, and few of them provide approaches to automatically correc...
关键词：security policy REWRITING logic program COMPLIANCE 
An Approach for Handling Conflicts in Authorization
《Wuhan University Journal of Natural Sciences》2008年第5期626-630,共5页ZHANG Mingsheng ZHANG Mingyi 
the National Natural Science Foundation of China (60573009,90718009)
Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level auth...
关键词：AUTHORIZATION authorization conflict conflict resolution schema logic program with ordered disjunction 
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction被引量：2
《Journal of Computer Science & Technology》2007年第4期562-568,共7页赵希顺 沈榆平 
This research was partially supported by the National Natural Science Foundation of China under Grant Nos.60573011,10410638;an MOE Project of Key Institute at Universities under Grant No.05JJD72040122.
In this paper, it is shown that stable model semantics, perfect model semantics, and partial stable model semantics of disjunctive logic programs have the same expressive power with respect to the polynomial-time mode...
关键词：disjunctive logic program SEMANTICS polynomial-time model-equivalent reduction quantified Boolean formula 
Complexities of Homomorphism and Isomorphism for Definite Logic Programs
《Journal of Computer Science & Technology》2005年第6期758-762,共5页许道云 陶志红 
国家自然科学基金，the Special Foundation for Improving Scientific Research Condition of Guizhou, and the Government Foundation of Guizhou Province，the Government Foundation of Guizhou Province
A homomorphism φ of logic programs from P to P＇ is a function mapping Atoms（P） to Atoms（P＇） and it preserves complements and program clauses. For each definite program clause a ← a1,...,an ∈ P it implies that...
关键词：logic program HOMOMORPHISM ISOMORPHISM decision problem COMPLEXITY 
FC-normal and extended stratified logic program
《Science in China(Series F)》2002年第4期259-272,共14页许道云 丁德成 
This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the charact...
关键词：forward chaining FC-normal program stable model extended stratification. 
An Open Environment for Cooperative Equational Solving
《Wuhan University Journal of Natural Sciences》2001年第Z1期169-174,共6页Tetsuo Ida, Mircea Marin, Norio Kobayashi Institute of Information Sciences and Electronics, University of Tsukuba, Tsukuba 305 8573, Japan 
Supported in part by the Ministry of Education;Culture;Sports;Science and Technology;Grant-in-Aid for Scien-tific Research (B)
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defi...
关键词：functional logic programing cooperative contraint solving distributed computing 
Techniques of Integrating Datalogwith PROLOG
《Journal of Computer Science & Technology》1997年第6期520-531,共12页朱扬勇 郭德培 施伯乐 
Since extending DATALOG to a general-purpose programming language seems very difficult, many projects have embedded a DATALOG-based query language into a procedural host language, such as CORAL, Glue-Nail, etc.Althoug...
关键词：KNOWLEDGE-BASE deductive database logic program 
On the Relationship Between TMS and Logic Programs
《Journal of Computer Science & Technology》1994年第3期245-251,共7页王献昌 陈火旺 赵沁平 
The relationship between TMS and general logic programs is an important issue in non-monotonic logic programming. In this paper, we prove that, after we translate the TMS theory into a general logic program, the TMS's...
关键词：General logic program TMS stable model well-founded 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部