位置：成果数据库 > 会议 > 会议详情页
dl2asp: Implementing Default Logic via Answer Set Programming
  • 所属机构名称：华南师范大学
  • 会议名称：Logics in Artificial Intelligence - 12th European Conference, JELIA 2010
  • 成果类型：会议
  • 会场：Helsinki
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： Yan Zhang|Yi Zhou|Yin Chen|Hai Wan|
同会议论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 6 会议论文 8
同项目会议论文
First-Order Indefinability of Answer Set Programs on Finite Structures
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
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