位置：成果数据库 > 会议 > 会议详情页
Forgetting in Logic Programs under Strong Equivalence
  • 所属机构名称：贵州大学
  • 会议名称：KR-2012
  • 成果类型：会议
  • 相关项目：带函数的回答集程序设计研究与实现
作者： Yisong Wang|Yan Zhang|Yi Zhou|Mingyi Zhang|
同会议论文项目
带函数的回答集程序设计研究与实现
期刊论文 9 会议论文 8
同项目会议论文
Splitting Computation of Logic Program
Representing and Reasoning about Program in Situation Calculus
Default Logic and Its Some Variants: Finite Characterizations, Semi-Monotonicity and Cumulativity
A Well-founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
Normal Description Logic Programs as Default Theories
Constructing First-order Loops of Normal Logic Programs
Answer Set Programming Modulo Theories