New
Generation Computing
An International
Journal
Vol.
15 No. 2
| Editor-in-Chief: Associate Editor: |
H.
Tanaka K. Furukawa |
February 1997
|
New
Generation Computing
February 1997 |
|
| On the Completeness
of Naive Memoing in Prolog S. W. Dietrich and C. Fan Consistency-Motivated Reason Maintenance in Hypothetical Reasoning A. Sattar and R. Goebel An Extended Variant of Atoms Loop Check for Positive Logic Programs Y. Shen A Logic-Based Integration of Active and Deductive Databases A. A. A. Fernandes, M. H. Williams and N. W. Paton |