位置：成果数据库 > 会议 > 会议详情页
Answer Set Programming Modulo Theories
  • 所属机构名称：贵州大学
  • 会议名称：ICAIC 2011
  • 成果类型：会议
  • 相关项目：带函数的回答集程序设计研究与实现
作者： Yisong Wang|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
Forgetting in Logic Programs under Strong Equivalence