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

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
Crossref DOI
概要 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 110 RIFIS Technical Report
p125 pdf 766 KB 85 Bulletin of Informatics and Cybernetics

詳細

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

この資料を見た人はこんな資料も見ています