Loop checks for logic programs with functions-Reference-Cited by-同舟云学术

Loop checks for logic programs with functions

Published:2001-09 Issue:1-2 Volume:266 Page:441-461
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Shen Yi-Dong,Yuan Li-Yan,You Jia-Huai

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference28 articles.

1. R.N. Bol, Towards more efficient loop checks, in: S. Debray, M. Hermenegildo (Eds.), Proc. 1990 North American Conf. on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 343–358.

2. Loop checking in partial deduction;Bol;J. Logic Programming,1993

3. An analysis of loop checking mechanisms for logic programs;Bol;Theoret. Comput. Sci.,1991

4. Tabulated resolution for the Well-Founded semantics;Bol;J. Logic Programming,1998

5. Tabled evaluation with delaying for general logic programs;Chen;J. ACM,1996

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Heuristic Backward Chaining Based on Predicate Tensorization;Artificial Intelligence in Intelligent Systems;2021

2. A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations;Proceedings of the 13th International Conference on Agents and Artificial Intelligence;2021

3. Experiments with Non-Termination Analysis for Java Bytecode;Electronic Notes in Theoretical Computer Science;2009-12

4. Termination prediction for general logic programs;Theory and Practice of Logic Programming;2009-06-16

5. A non-termination criterion for binary constraint logic programs;Theory and Practice of Logic Programming;2009-02-18