Springer-Verlag. Chen, W. and Warren, D.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Efficient Top-Down Computation of Queries under the.. - Chen, Swift, Warren (1994) (39 citations) Self-citation (Chen) (Correct)
....and search space completeness of SLG resolution with respect to three valued stable models, including the well founded partial model as a special case. A similar framework is presented in [3] A meta interpreter implementation of integrating Prolog and SLG resolution, called The SLG System [7], is available by anonymous FTP from seas.smu.edu or cs.sunysb.edu. A WAM based compiler implementation integrating Prolog and the restricted SLG resolution for modularly stratified programs, called The XSB Logic Programming System, 22] has been released and is available by anonymous FTP from ....
Chen, W. and Warren, D.S. The SLG System, August 1993.
Logic Programming Revisited: Logic Programs as Inductive .. - Denecker, Bruynooghe.. (2001) (6 citations) (Correct)
No context found.
Springer-Verlag. Chen, W. and Warren, D.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC