We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Volume 18 Issue 2
March  2003
Turn off MathJax
Article Contents
HE LiFeng, Yuyan Chao, Tsuyoshi Nakamura, Hidenori Itoh. Z-SATCHMORE: An Improvement of A-SATCHMORE[J]. Journal of Computer Science and Technology, 2003, 18(2).
Citation: HE LiFeng, Yuyan Chao, Tsuyoshi Nakamura, Hidenori Itoh. Z-SATCHMORE: An Improvement of A-SATCHMORE[J]. Journal of Computer Science and Technology, 2003, 18(2).

Z-SATCHMORE: An Improvement of A-SATCHMORE

More Information
  • Published Date: March 14, 2003
  • This paper presents an improvement of A-SATCHMORE (SATCHMOREwith Availability). A-SATCHMORE incorporates relevancy testingand availability checking into SATCHMO to prune away irrelevant forwardchaining. However, considering every consequent atom of those non-Hornclauses being derivable, A-SATCHMORE may suffer from apotential explosion of the search space when some of such consequentatoms are actually underivable. This paper introduces a solution forthis problem and shows its correctness.

Catalog

    Article views (4) PDF downloads (1414) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return