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

Cached

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
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
4 SLT-Resolution for the Well-Founded Semantics – Yi-Dong Shen, Li-yan Yuan, Jia-huai You - 2002
23 Using Datalog with binary decision diagrams for program analysis – John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam - 2005
3 Magic Sets With Full Sharing – Paulo J. Azevedo - 1996
226 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 http://www.mimuw.edu. pl/~nguyen/papers.html – Linh Anh Nguyen
8 Evaluation of – Donald A. Smith, Mark Utting - 1981
25 D'ej`a vu in fixpoints of logic programs – Michael J. Maher, Raghu Ramakrishnan - 1989
4 LPDA: Another look at Tabulation in Logic Programming – Eric Villemonte De La Clergerie, Bernard Lang - 1994
90 A Survey of Research on Deductive Database Systems – Raghu Ramakrishnan, Jeffrey D. Ullman - 1993
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 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
13 Depth-Bounded Bottom-Up Evaluation Of Logic Programs – Jan Chomicki - 1993
Building tabular interpretations for (generalized) Push-Down Automata – François Barthélemy, Eric Villemonte De La Clergerie - 1996
Information flow in tabular interpretations for generalized Push-Down Automata – Eric Villemonte De La Clergerie, François Barthélemy - 1997
22 Memoing Evaluation for Constraint Extensions of Datalog – David Toman, Raghu Ramakrishnan, Peter Stuckey - 1997
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