文献

J-GLOBAL ID：200902196761741679   整理番号：97A0322741

論理プログラムの等価変換による問題解決の枠組

Solving Problems by Equivalent Transformation of Logic Programs.

著者 (3件)： 赤間清 (北大 工) ,  繁田良則 (東芝 システムLSI技研) ,  宮本衛市 (北大 工)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 12  号： 2  ページ： 266-275  発行年： 1997年03月 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 論理プログラムで広く用いられているPrologは,計算の実行...

シソーラス用語： 論理プログラミング ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0322741&from=J-GLOBAL&jstjournalNo=X0330A") }}

分類 (1件)： 人工知能  (JE08000Z)

引用文献 (11件)：

• 赤間清. ルールを基礎としたプログラム変換. 「自然言語処理における実働」シンポジウム論文集. 1994, 86-94
• 赤間清. プログラム変換による自然言語の意味解釈. コンピュータソフトウェア. 1995, 12, 5, 45-62
• APT, K. R. Contribution to The Theory of Logic Programming. J. ACM. 1982, 29, 3
• 伝康晴. 認知的制約プログラミングと統合的自然言語処理 - 統語解析と統語生成の統合について. コンピュータソフトウェア. 1991, 8, 6, 38-50
• FUTAMURA, Y. Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers, Controls. 1971, 25, 45-50

タイトルに関連する用語 (4件)： 論理プログラム ,  等価変換 ,  問題解決 ,  枠組