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