位置：成果数据库 > 会议 > 会议详情页
Some Results on Order-Consistent Logic Programs
  • 所属机构名称：华南师范大学
  • 会议名称：Fifth International Conference on Fuzzy Systems and Knowledge Discovery
  • 成果类型：会议
  • 会场：Jinan
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： Yisong Wang|Xinqiang Ma|
同会议论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 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
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