文献

J-GLOBAL ID：200902115034563180   整理番号：94A0579200

法的推論システムnew HELIC-IIの概要

Overview of Legal Reasoning System: new HELIC-II.

著者 (8件)： 新田克己 (新世代コンピュータ技術開発機構) ,  柴崎真人 (新世代コンピュータ技術開発機構) ,  坂田毅 (新世代コンピュータ技術開発機構) ,  山路孝浩 (新世代コンピュータ技術開発機構) ,  大崎宏 (新世代コンピュータ技術開発機構) ,  東条敏 (新世代コンピュータ技術開発機構) ,  小久保岩生 (新世代コンピュータ技術開発機構) ,  鈴木孝宏 (新世代コンピュータ技術開発機構)
資料名： 人工知能学会全国大会論文集  (Proceedings of the Annual Conference of JSAI)
巻： 8th  ページ： (151)-(154)  発行年： 1994年06月 
JST資料番号： X0580A  資料種別： 会議録 (C)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ICOTでは平成5年度から2年計画で,並列論理型言語KLIC...

シソーラス用語： 人工知能推論 ,...
準シソーラス用語： 並列推論マシン ,...

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

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

引用文献 (6件)：

• NITTA, K. HELIC-II : a legal reasoning system on the parallel inference machine. Proc. FGCS92. 1992
• AIT-KACI, H. LOGIN : A Logic Programming Language with Built-in Inheritance. J. Logic Prog. 1986, 3
• GELFOND, M. Logical Programs with Classical Negation. Proceedings of the Seventh International Logic Programming Conference, New York. 1990, 579-597
• SARTOR, G. A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning. Proc. Int. Conf. on AI and Law. 1993
• PRAKKEN, H. A logical framework for modeling legal argument. Proc. Int. Conf. on AI and Law. 1993

タイトルに関連する用語 (2件)： 推論 ,  概要