Art

J-GLOBAL ID：200902157795828344   Reference number：98A0499992

Equivalent Transformation for Equality Constraints on Multiset Domains.

マルチセット領域上の等式制約の等価変換

Author (3)： AKAMA KIYOSHI (北大 大学院) ,  KAWAGUCHI YUICHI (苫小牧工高専) ,  MIYAMOTO EIICHI (北大 大学院)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 13  Issue： 3  Page： 395-403  Publication year： May. 1998 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *logic programming ,...
Semi thesaurus term： マルチセット

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

JST classification (2)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A)

Reference (8)：

• 赤間清. プログラム変換による自然言語の意味解釈. コンピュータソフトウェア. 1995, 12, 5, 45-62
• 赤間清. 論理プログラムの等価変換による問題解決の枠組. 人工知能学会誌. 1997, 12, 2, 90-99
• DOVIER, A. {log} : A Logic Programming Language with Finite Sets. Proc. of the 8th International Conference on Logic Programming. 1991
• DOVIER, A. Embedding Extensional Finite Sets in CLP. Proc. of the 4th International Logic Programming Symposium. 1993
• JAYARAMAN, B. Implementation of Subset-Equational Programs. J. Logic Programming. 1992, 12, 4, 299-324

Terms in the title (3)： マルチ ,  等式制約 ,  等価変換