Implementing Bottom-up Procedures with Code Trees: a Case Study of Forward Subsumption (1995)


Download Links

by Andrei Voronkov
Citations:1 - 0 self

Active Bibliography

1 Techniques for Preventing Recomputation in Logic Programs – Paulo Jorge, Sousa Azevedo
49 Caching and Lemmaizing in Model Elimination Theorem Provers – Owen L. Astrachan, Mark E. Stickel - 1992
Scheduling Strategies for Evaluation of Recursive Queries over Memory and Disk-Resident Data – Juliana Freire de Lima e Silva, Juliana Freire, Lima Silva, Terrance Swift - 1997
3 Integrity and Recursion: Two Key Issues for Deductive Databases – Rainer Manthey - 1990
3 Magic Sets With Full Sharing – Paulo J. Azevedo - 1996
The XSB System Version 3.3.x Volume 1: Programmer’s Manual xsb – Terrance Swift, David S. Warren, Konstantinos Sagonas, Juliana Freire, Prasad Rao, Baoqiu Cui, Ernie Johnson, Luis De Castro, Rui F. Marques, Diptikalyan Saha, Steve Dawson, Michael Kifer
6 SLT-resolution for the well founded semantics – Yi-dong Shen, Li-yan Yuan, Jia-huai You - 2002
4 On the Efficient Maintenance of Temporal Integrity in Knowledge Bases – Dimitrios Plexousakis - 1996
38 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
7 Automated Reasoning and Bledsoe's Dream for the Field – Larry Wos
55 Logic and Databases: a 20 Year Retrospective – Jack Minker - 1996
763 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
7 Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning – J. D. Horton, Bruce Spencer
13 Depth-Bounded Bottom-Up Evaluation Of Logic Programs – Jan Chomicki - 1993
15 Linear tabulated resolution based on Prolog control strategy. Theory and Practice of Logic Programming (TPLP – Yi-dong Shen, Li-yan Yuan, Jia-huai You, Neng-fa Zhou - 2001
Tabled Logic Programs: Principles, Practice and Applications – C. R. Ramakrishnan, I.V. Ramakrishnan, Konstantinos Sagonas, Terrance Swift, David S. Warren - 1996
1 The XSB Programmer's Manual Version 1.7.1 – Konstantinos F. Sagonas, David S. Warren, Juliana Freire, Hassan Davulcu, Aided David Warren, Terrance Swift, Terrance Swift, Steve Dawson, Steve Dawson, Implemented Terrance Swift, Kostis Sagonas, Prasad Rao, Prasad Rao, Prasad Rao, Juliana Freire The - 1994
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 1993
1 The XSB System Version 2.2 Volume 1: Programmer's Manual – Konstantinos Sagonas, David S. Warren, David Warren, Steve Dawson, Steve Dawson, Juliana Freire, Juliana Freire, Baoqiu Cui, Michael Kifer, Michael Kifer, Terrance Swift, Terrance Swift, Terrance Swift, Kostis Sagonas, Prasad Rao, Prasad Rao, Prasad Rao, Juliana Freire The Breakdown - 2000