書誌事項
- タイトル別名
-
- 招待論文 結論発見手続きとその応用
- 特集「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般
- トクシュウ ジドウ スイロン キノウ エンエキ モデル ケンサ セイセイ ガクシュウ ハッケン カセツ スイロン ロンリ プログラム プランニング etc オヨビ イッパン
この論文をさがす
収録刊行物
-
- 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 103 (103), 17-22, 2003-05-29
東京 : 電子情報通信学会
- Tweet
キーワード
- 定理証明
- SOL導出
- SOLタブロー
- 特徴節
- 生成領域
- 演繹
- アブダクション
- 帰納推論
- 極小解
- 非単調推論
- 知識同化
- 知識コンパイル
- 知識近似
- 分散知識ベース
- 投機的計算
- 知識発見
- 生命情報学
- theorem proving
- SOL resolution
- SOL tableaux
- characteristic clauses
- production fields
- deduction
- abduction
- induction
- minimal answers
- nonmonotonic reasoning
- knowledge assimilation
- knowledge compilation
- lub/glb approximation
- distributed knowledge bases
- speculative computation
- knowledge discovery
- bioinformatics
詳細情報 詳細情報について
-
- CRID
- 1520853833049749376
-
- NII論文ID
- 110003176888
-
- NII書誌ID
- AA1123312X
-
- ISSN
- 09135685
-
- NDL書誌ID
- 6619747
-
- 本文言語コード
- en
-
- NDL 雑誌分類
-
- ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
-
- データソース種別
-
- NDL
- CiNii Articles