文献

J-GLOBAL ID：200902173926827263   整理番号：97A0643634

宣言的プログラムの推論規則

Inference Rules for Declarative Programs.

著者 (3件)： 赤間清 (北大 工) ,  岡田浩一 (北大 工) ,  宮本衛市 (北大 工)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 12  号： 4  ページ： 608-615  発行年： 1997年07月 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 宣言的プログラムにおける,特殊化による推論,相殺による推論,...

シソーラス用語： 人工知能推論 ,...
準シソーラス用語： 宣言的プログラム ,...

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

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

引用文献 (14件)：

• AIT-KACI, H. LOGIN: A Logic Programming Language with Built-in Inheritance. J. of Logic Programming. 1986, 3, 3, 185-215
• 赤間清. プログラム変換による自然言語の意味解釈. コンピュータソフトウェア. 1995, 12, 5, 45-62
• APT, K. R. Contribution to the Theory of Logic Programming. J. ACM. 1982, 29, 3, 841-862
• CHANG, C. L. Symbolic Logic and Mechanical Theorem Proving. 1973
• CLARK, K. L. Logic Programming Schemes. Proc. of the international conference on fifth generation computer systems. 1988, 120-139

タイトルに関連する用語 (2件)： 宣言 ,  推論規則