位置：成果数据库 > 会议 > 会议详情页
Model-Characterizing Formulas and Normal Forms in Godel Logics
  • 所属机构名称：贵州科学院
  • 成果类型：会议
  • 相关项目：基于回答集语义的约束逻辑程序设计
同会议论文项目
基于回答集语义的约束逻辑程序设计
期刊论文 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
Axiom P and Reliable Belief Change Operator Change in Belief Revision
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
个性化搜索引擎中用户兴趣模型的研究
Answer set Programming with Function