基于回答集语义的约束逻辑程序设计

60573009
2005
F0201.计算机科学的基础理论
张明义
面上项目
研究员
贵州科学院
26万元
约束逻辑程序设计;回答集;修正程序..
2006-01-01到2008-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 On compatibility and forward chaining normality 会议论文
2 Unfolding Partiality and Disjunctions in Stable Model Semantics 期刊论文
3 Consistency Property of Finite FC-Normal Logic Programs 期刊论文
4 Eletronic Commerce Technology and its Security Problems 期刊论文
5 基于Logic SQL的B2级安全机制的研究与设计 期刊论文
6 UML模型的协调性检查 期刊论文
7 Ray Reiter Best Paper Prize 奖励
8 A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints 会议论文
9 A characterization of answer sets for logic programs 期刊论文
10 Quartet based phylogeny reconstruction with answer set programming 期刊论文
11 Model-Characterizing Formulas and Normal Forms in Godel Logics 会议论文
12 An Approach handling Conflicts in Authorization 期刊论文
13 First-order loop formulas for normal logic programs. 会议论文
14 基于整数小波变幻的准无失真图像压缩技术 期刊论文
15 A Constructive Method of Finest Splitting of Belief Set 会议论文
16 Partial Meet Contraction Based on Relevance Criterion 会议论文
17 H-KK映像及抽象凸（凹）性 期刊论文
18 G3逻辑中的弱合取范式 期刊论文
19 基于格的访问控制策略在RBAC中实现的形式化分析 期刊论文
20 Some Results on Order-Consistent Logic Programs 会议论文
21 个性化搜索引擎中用户兴趣模型的研究 会议论文
22 Fuzzy Semi-Equivalence Relation 会议论文
23 Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities 会议论文
24 安全数据库隐蔽通道的标识技术与实例分析 期刊论文
25 Extended Negative Association Rules and the Corresponding Algorithm 会议论文
26 Answer set Programming with Function 会议论文
27 Maximal Invariable Update operator Based on Splitting 会议论文
28 Repeated negotiation of logic programs 会议论文
29 Axiom P and Reliable Belief Change Operator Change in Belief Revision 会议论文
30 Recycling computed answers in rewrite systems for abduction 期刊论文
31 Forgetting in Logic Programs with Ordered Disjunction 会议论文
32 A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors 期刊论文
33 中间逻辑中的良构范式 期刊论文
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享