<紀要論文>
一般化補題を利用したモデル生成法
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
JaLC DOI | |
関連DOI | |
関連URI | |
関連情報 | |
概要 | We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can... be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.続きを見る |
詳細
PISSN | |
---|---|
EISSN | |
NCID | |
レコードID | |
査読有無 | |
主題 | |
登録日 | 2015.05.29 |
更新日 | 2020.11.17 |