文献

J-GLOBAL ID：200902157795828344   整理番号：98A0499992

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

Equivalent Transformation for Equality Constraints on Multiset Domains.

著者 (3件)： 赤間清 (北大 大学院) ,  川口雄一 (苫小牧工高専) ,  宮本衛市 (北大 大学院)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 13  号： 3  ページ： 395-403  発行年： 1998年05月 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： マルチセットとは要素が多重に出現することを許す拡張された集合...

シソーラス用語： *論理プログラミング ,...
準シソーラス用語： マルチセット

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

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

引用文献 (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

タイトルに関連する用語 (3件)： マルチ ,  等式制約 ,  等価変換