位置：成果数据库 > 会议 > 会议详情页
Axiom P and Reliable Belief Change Operator Change in Belief Revision
  • 所属机构名称：贵州科学院
  • 成果类型：会议
  • 相关项目：基于回答集语义的约束逻辑程序设计
同会议论文项目
基于回答集语义的约束逻辑程序设计
期刊论文 21 会议论文 16
同项目会议论文
Some Results on Order-Consistent Logic Programs
Repeated negotiation of logic programs
First-order loop formulas for normal logic programs.
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints
Maximal Invariable Update operator Based on Splitting
A Constructive Method of Finest Splitting of Belief Set
Partial Meet Contraction Based on Relevance Criterion
Forgetting in Logic Programs with Ordered Disjunction
Extended Negative Association Rules and the Corresponding Algorithm
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
On compatibility and forward chaining normality
Fuzzy Semi-Equivalence Relation
Model-Characterizing Formulas and Normal Forms in Godel Logics
个性化搜索引擎中用户兴趣模型的研究
Answer set Programming with Function