Depth-Bounded Inference for Nonterminating Prologs - 九大コレクション

＜学術雑誌論文＞
Depth-Bounded Inference for Nonterminating Prologs

作成者	作成者名 Arimura, Hiroki 有村, 博紀所属機関所属機関名 Department of Artificial Intelligence Kyushu Institute of Technology 九州工業大学情報工学部知能情報工学科
本文言語	英語
出版者	Research Association of Statistical Sciences
出版者	統計科学研究会
発行日	1990-10-04
発行日	1993-03
収録物名	Bulletin of informatics and cybernetics
巻	25
号	3/4
開始ページ	125
終了ページ	136
出版タイプ	Version of Record
アクセス権	open access
Crossref DOI	https://doi.org/10.5109/3139
関連DOI	RIFIS Technical Report ; 31
関連DOI	RIFIS Technical Report \|\| 31
	Bulletin of informatics and cybernetics \|\| 25(3/4) \|\| p125-136
	http://bic.math.kyushu-u.ac.jp/
関連URI	RIFIS Technical Report \|\| 31
	Bulletin of informatics and cybernetics \|\| 25(3/4) \|\| p125-136
	http://bic.math.kyushu-u.ac.jp/
関連情報	RIFIS Technical Report ; 31
	RIFIS Technical Report \|\| 31
	Bulletin of informatics and cybernetics \|\| 25(3/4) \|\| p125-136
	http://bic.math.kyushu-u.ac.jp/
概要	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	355	RIFIS Technical Report
p125	pdf	766 KB	174	Bulletin of Informatics and Cybernetics

PISSN	0286-522X
EISSN	2435-743X
NCID	AA10634475
レコードID	3139
査読有無	査読有
注記	Former version: Termination properties of a subclass of ground I/O logic programs, October,1990
登録日	2009.04.22
更新日	2020.10.22