Mendeley出力
＜学術雑誌論文＞
Model Inference Using Bidirectional Refinements
| 作成者 | |
|---|---|
| 本文言語 | |
| 出版者 | |
| 発行日 | |
| 収録物名 | |
| 巻 | |
| 号 | |
| 開始ページ | |
| 終了ページ | |
| 出版タイプ | |
| アクセス権 | |
| Crossref DOI | |
| 関連DOI | |
| 関連DOI | |
| 関連URI | |
| 関連情報 | |
| 概要 | Model inference is an inductive inference of theories from their models. In this paper, we propose a method of model, inference for logic programs using both refinements in direction from general to s...pecific and the opposite. By our method we can identify the target program from a program allalogous to the target.続きを見る |
本文ファイル
| ファイル | ファイルタイプ | サイズ | 閲覧回数 | 説明 |
|---|---|---|---|---|
rifis-tr-10
|
2.22 MB | 384 | RIFIS Technical Report | |
|
p001
|
709 KB | 179 | Bulletin of Informatics and Cybernetics |
詳細
| PISSN | |
|---|---|
| EISSN | |
| NCID | |
| レコードID | |
| 査読有無 | |
| 登録日 | 2009.04.22 |
| 更新日 | 2020.10.22 |