文献

J-GLOBAL ID：200902082669969048   整理番号：87A0217389

汎用論理プログラム用の厳密な導出を用いたNegation-as-failure

Negation as failure using tight derivations for general logic programs.

著者 (1件)： VAN GELDER A (Stanford Univ., CA, USA)
資料名： Proceedings. 1986 Symposium on Logic Programming  (Proceedings. 1986 Symposium on Logic Programming)
ページ： 127-138  発行年： 1986年 
JST資料番号： K19870041  ISBN： 0-8186-0728-9  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 一般的な論理プログラムは,肯定及び否定の両方の部分ゴールを持...

シソーラス用語： 論理プログラミング ,...

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

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

タイトルに関連する用語 (3件)： 汎用 ,  論理プログラム ,  導出