<学術雑誌論文>
Depth-Bounded Inference for Nonterminating Prologs

作成者
本文言語
出版者
発行日
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 In this paper, we study the completeness of the depth-bounded resolution, which is an SLD-resolution that prunes infinite derivations using the depth-bound. We introduce a class of definite programs w...ith local variables, called linearly covering programs, and prove the completeness of the depth-bounded resolution for the class with respect to the CWA of Reiter.続きを見る

本文情報を非表示

rifis-tr-31 pdf 935 KB 92 RIFIS Technical Report
p125 pdf 766 KB 81 Bulletin of Informatics and Cybernetics

詳細

レコードID
査読有無
関連情報
ISSN
NCID
注記
登録日 2009.04.22
更新日 2017.01.20