Art

J-GLOBAL ID：200902173926827263   Reference number：97A0643634

Inference Rules for Declarative Programs.

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

Author (3)： AKAMA KIYOSHI (北大 工) ,  OKADA KOICHI (北大 工) ,  MIYAMOTO EIICHI (北大 工)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 12  Issue： 4  Page： 608-615  Publication year： Jul. 1997 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： artificial intelligent inference ,...
Semi thesaurus term： 宣言的プログラム ,...

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

JST classification (1)： Artificial intelligence  (JE08000Z)

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

Terms in the title (2)： 宣言 ,  推論規則