Art

J-GLOBAL ID：200902196761741679   Reference number：97A0322741

Solving Problems by Equivalent Transformation of Logic Programs.

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

Author (3)： AKAMA KIYOSHI (北大 工) ,  SHIGETA YOSHINORI (東芝 システムLSI技研) ,  MIYAMOTO EIICHI (北大 工)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 12  Issue： 2  Page： 266-275  Publication year： Mar. 1997 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： logic programming ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0322741&from=J-GLOBAL&jstjournalNo=X0330A") }}

JST classification (1)： Artificial intelligence  (JE08000Z)

Reference (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

Terms in the title (4)： 論理プログラム ,  等価変換 ,  問題解決 ,  枠組