文献

J-GLOBAL ID：200902186517405327   整理番号：01A0139401

距離に関する半定性的推論 予備的報告

Semi-qualitative Reasoning about Distances: A Preliminary Report.

著者 (4件)： STURM H (Univ. Leipzig, Leipzig, DEU) ,  SUZUKI N (Shizuoka Univ., Shizuoka, JPN) ,  WOLTER F (Univ. Leipzig, Leipzig, DEU) ,  ZAKHARYASCHEV M (Univ. Leeds, Leeds, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 1919  ページ： 37-56  発行年： 2000年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 距離空間に関する知識表現および推論のための言語ファミリを提案...

シソーラス用語： *充足可能性問題 ,...
準シソーラス用語： 計算の複雑さ ,...

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

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 定性的推論 ,  報告