位置：成果数据库 > 会议 > 会议详情页
Representing and Reasoning about Program in Situation Calculus
  • 所属机构名称：贵州大学
  • 会议名称：Proceedings of International Conference on Software and Computing Technology
  • 成果类型：会议
  • 相关项目：带函数的回答集程序设计研究与实现
作者： Yang Bo|Zhang Ming-yi|Wu Mao-nian|Xie Gang|
同会议论文项目
带函数的回答集程序设计研究与实现
期刊论文 9 会议论文 8
同项目会议论文
Splitting Computation of Logic Program
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
Forgetting in Logic Programs under Strong Equivalence