<テクニカルレポート>
Analogy is NP-Hard
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
出版タイプ | |
アクセス権 | |
関連DOI | |
関連URI | |
関連情報 | |
概要 | Analogy is described in predicate logic. This paper deals with the analogy without any function symbols except constants. We show that the problem of deciding whether a given atomic formula can be inf...erred by analogy is NP-hard even in such a simple case.続きを見る |
本文ファイル
ファイル | ファイルタイプ | サイズ | 閲覧回数 | 説明 |
---|---|---|---|---|
rifis-tr-38 | 316 KB | 161 |
詳細
レコードID | |
---|---|
査読有無 | |
注記 | |
タイプ | |
登録日 | 2009.04.22 |
更新日 | 2017.01.20 |