この情報を出力する

このページのリンク

引用にはこちらのURLをご利用ください

他の検索サイト

利用統計

  • このページへのアクセス：5,378回

＜学術雑誌論文＞
Model Inference Using Bidirectional Refinements

作成者
作成者名
Kawasaki, Youji
川崎, 洋治
所属機関
所属機関名
Department of Information Systems, Interdisciplinary Graduate School, of Engineering Science, Kyushu University
九州大学大学院総合理工学研究科情報システム学専攻
作成者名
Shinohara, Takeshi
篠原, 武
所属機関
所属機関名
Department of Artificial Intelligence Kyushu Institute of Technology
九州工業大学情報工学部知能情報工学科
作成者名
Arikawa, Setsuo
有川, 節夫
所属機関
所属機関名
Research Institute of Fundamental Information Science Kyushu University
九州大学理学部附属基礎情報学研究施設
本文言語
英語
出版者
Research Association of Statistical Sciences
統計科学研究会
発行日
1988-12-29
1990-03
収録物名
Bulletin of informatics and cybernetics
巻
24
号
1/2
開始ページ
1
終了ページ
13
出版タイプ
Version of Record
アクセス権
open access
Crossref DOI
https://doi.org/10.5109/3116
関連DOI
RIFIS Technical Report ; 10
関連DOI
RIFIS Technical Report || 10
Bulletin of informatics and cybernetics || 24(1/2) || p1-13
http://bic.math.kyushu-u.ac.jp/
関連URI
RIFIS Technical Report || 10
Bulletin of informatics and cybernetics || 24(1/2) || p1-13
http://bic.math.kyushu-u.ac.jp/
関連HDL
関連情報
RIFIS Technical Report ; 10
RIFIS Technical Report || 10
Bulletin of informatics and cybernetics || 24(1/2) || p1-13
http://bic.math.kyushu-u.ac.jp/
概要 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.続きを見る

本文ファイル

pdf rifis-tr-10 pdf なし 2.22 MB 736 RIFIS Technical Report
pdf p001 pdf なし 709 KB 467 Bulletin of Informatics and Cybernetics

詳細

PISSN
0286-522X
EISSN
2435-743X
NCID
AA10634475
レコードID
3116
査読有無
査読有
登録日 2009.04.22
更新日 2020.10.22