Generalizing the QSQR evaluation method for Horn knowledge bases (2008)


Download Links

by Ewa Madalińska-bugaj , Linh Anh Nguyen
Venue:New Challenges in Applied Intelligence Technologies, volume 134 of Studies in Computational Intelligence
Citations:2 - 2 self

Active Bibliography

1 Techniques for Preventing Recomputation in Logic Programs – Paulo Jorge, Sousa Azevedo
IOS Press Hybrid Reasoning on OWL RL – Jacopo Urbani A, Robert Piro, Frank Harmelen, Henri Bal
Tabled Logic Programs: Principles, Practice and Applications – C. R. Ramakrishnan, I.V. Ramakrishnan, Konstantinos Sagonas, Terrance Swift, David S. Warren - 1996
3 Integrity and Recursion: Two Key Issues for Deductive Databases – Rainer Manthey - 1990
6 SLT-resolution for the well founded semantics – Yi-dong Shen, Li-yan Yuan, Jia-huai You - 2002
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
25 Using Datalog with binary decision diagrams for program analysis – John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam - 2005
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
3 Magic Sets With Full Sharing – Paulo J. Azevedo - 1996
260 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996
5 Foundations of Modal Logic Programming: The Direct Approach (release 2.0)”, manuscript (provided as a technical report), available at pl/~nguyen/papers.html – Linh Anh Nguyen
• Module systems • Debuggers • Dynamic code – Terrance Swift, Speed Optimizations
12 Evaluation of – Donald A. Smith, Mark Utting - 1981
4 LPDA: Another look at Tabulation in Logic Programming – Eric Villemonte De La Clergerie, Bernard Lang - 1994
26 D'ej`a vu in fixpoints of logic programs – Michael J. Maher, Raghu Ramakrishnan - 1989
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 1993
100 A Survey of Research on Deductive Database Systems – Raghu Ramakrishnan, Jeffrey D. Ullman - 1993
13 Depth-Bounded Bottom-Up Evaluation Of Logic Programs – Jan Chomicki - 1993
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