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