<紀要論文>
深さ優先ノンホーンマジックセット法の完全性証明

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
JaLC DOI
関連DOI
関連URI
関連情報
概要 The non-Horn magic sets (NHM) have been presented in order to enhance forward reasoning provers by combining top-down and bottom-up provings. The NHM method is a natural extension of Horn magic sets a...nd is applicable to non-Horn clauses. There are two types of transformations to get non-Horn magic sets from the given clause sets: depth-first NHM and breadth-first NHM. We present a proof of completeness for depth-first NHM by giving a proof-tree transformation procedure.続きを見る

本文ファイル

pdf p111 pdf 765 KB 128  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
主題
登録日 2015.09.16
更新日 2020.10.13

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