位置：成果数据库 > 会议 > 会议详情页
Computing Loops With at Most One External Support Rule
  • 所属机构名称：华南师范大学
  • 会议名称：the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR200
  • 成果类型：会议
  • 会场：Sydney
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： Fangzhen Lin|Xiaoping Chen|Jianmin Ji|
同会议论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 6 会议论文 8
同项目会议论文
First-Order Indefinability of Answer Set Programs on Finite Structures
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
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 for Disjunctive Logic Programs
Weight Constraint Programs with Functions