We use cookies to improve your experience with our site.

Indexed in:

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

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 18 Issue 2
March  2003
Turn off MathJax
Article Contents
Abstract
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).
shu

Z-SATCHMORE: An Improvement of A-SATCHMORE

More Information
  • Published Date: March 14, 2003
    Abstract
  • 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.
    • FullText(HTML)
    • References (0)
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (4) PDF downloads (1414) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return