位置：成果数据库 > 会议 > 会议详情页
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
  • 所属机构名称：华南师范大学
  • 会议名称：the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010
  • 成果类型：会议
  • 会场：Atlanta, Georgia
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： Heng Zhang|Mingsheng Ying|
同会议论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 6 会议论文 8
同项目会议论文
First-Order Indefinability of Answer Set Programs on Finite Structures
dl2asp: Implementing Default Logic via Answer Set Programming
Answer Set Programming with Functions
Some Results on Order-Consistent Logic Programs
Computing Loops With at Most One External Support Rule
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs
Weight Constraint Programs with Functions