位置：成果数据库 > 期刊 > 期刊详情页
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
  • ISSN号：1471-0684
  • 期刊名称：Theory and Practice of Logic Programming
  • 时间：0
  • 页码：529-564
  • 语言：英文
  • 相关项目：非命题化的回答集程序推理算法、系统实现以及典型应用研究
作者： Shen, Yi-Dong|Yuan, Li-Yan|You, Jia-Huai|
同期刊论文项目
非命题化的回答集程序推理算法、系统实现以及典型应用研究
期刊论文 4 会议论文 13
同项目期刊论文
Termination prediction for general logic programs
Linear tabling strategies and optimizations
Reasoning with recursive loops under the PLP framework