HOLによるRelevant logicの定理証明機
スポンサーリンク
概要
- 論文の詳細を見る
- 1997-06-24
著者
-
沢村 一
新潟大学
-
Sawamura Hajime
Faculty Of Engeneering Niigata University
-
沢村 一
新潟大学工学部 情報工学科
-
浅沼 大作
新潟大学大学院自然科学研究科
関連論文
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- 論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- On Designing the Method of Syntax Descriptions for Logics
- 論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現
- 論証プログラミング
- 汎用論証支援システムEUODHILOS-IIの設計と実装
- 汎用論証支援システム EUODHILOS の応用と評価
- 汎用論証支援システム EUODHlLOS の応用と評価
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- セマンティック Web 推論と議論エージェント推論の統合