情報・システム-人工知能と知識処理(開催日：2003/05/22)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2003/5/22
[資料番号]
目次

,  

[発表日]2003/5/22
[資料番号]
グラフ3彩色問題におけるEHIの組織的生成(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)

水野 一徳,  西原 清一,  

[発表日]2003/5/22
[資料番号]AI2003-1
完全N部グラフ構造を用いた単語の多義性獲得(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)

中渡瀬 秀一,  相澤 彰子,  

[発表日]2003/5/22
[資料番号]AI2003-2
類推機能をもった対話型シークェント計算証明システムの開発(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)

山田 敬三,  平田 耕一,  原尾 政輝,  

[発表日]2003/5/22
[資料番号]AI2003-3
[招待論文]結論発見手続きとその応用(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

井上 克巳,  

[発表日]2003/5/22
[資料番号]AI2003-4
優先的解集合の論理プログラミングによる計算(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

若木 利子,  井上 克巳,  坂間 千秋,  新田 克巳,  

[発表日]2003/5/22
[資料番号]AI2003-5
導出法に基づく定理証明系のJavaによる実現手法について(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

大神 茂之,  藤田 博打,  長谷川 隆三,  

[発表日]2003/5/22
[資料番号]AI2003-6
モデル生成型定理証明手続きによるCTLのモデル検査(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

清水 亮,  長谷川 隆三,  越村 三幸,  

[発表日]2003/5/22
[資料番号]AI2003-7
SATソルバの並列実行に関する一考察(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

上田 盛慈,  鵜飼 訓史,  井上 克巳,  番原 睦則,  田村 直之,  川村 尚生,  

[発表日]2003/5/22
[資料番号]AI2003-8
補題再利用によるSATプランニングの高速化(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

鍋島 英知,  野沢 宏仁,  岩沼 宏治,  

[発表日]2003/5/22
[資料番号]AI2003-9
複写される方へ

,  

[発表日]2003/5/22
[資料番号]
奥付

,  

[発表日]2003/5/22
[資料番号]