井上 克巳[他] | 国立情報学研究所
スポンサーリンク
概要
関連著者
-
井上 克巳
国立情報学研究所
-
井上 克巳[他]
国立情報学研究所
-
坂間 千秋
和歌山大学
-
田村 直之
神戸大学学術情報基盤センター
-
田村 直之
神戸大 学術情報基盤セ
-
坂間 千秋
和歌山大学システム工学部
-
岩沼 宏治
山梨大学大学院医学工学総合研究部
-
鍋島 英知
山梨大学大学院医学工学総合研究部
-
田村 直之
神戸大学
-
岡本 孝之
神戸大学大学院自然科学研究科:国立情報学研究所
-
田川 聖治
神戸大学工学部
-
井上 克巳
神戸大学工学部
-
岩内 栄二
神戸大学大学院自然科学研究科
-
山本 泰生
神戸大学大学院自然科学研究科
-
田川 聖治
近畿大学理工学部
-
岩内 栄二
神戸大学大学院自然科学研究科:国立情報学研究所
-
番原 睦則
神戸大学学術情報基盤センター
-
宋 剛秀
総合研究大学院大学複合科学研究科情報学専攻
-
田村 直之
神戸大学工学部
-
山本 泰生
総合研究大学院大学情報学専攻
-
RAY Oliver
Department of Computer Science, University of Bristol
-
齋藤 悠
日本電気(株)インターネットシステム研究所
-
鍋島 英知
山梨大学 大学院 医学工学総合研究部
-
宋 剛秀
神戸大学 大学院 自然科学研究科
-
岩沼 宏治
山梨大学 大学院 医学工学総合研究部
-
大谷 透
神戸大学大学院自然科学研究科
-
井垣 努
松下電子部品(株)
-
関 俊一
松下電子部品(株)
-
Ray Oliver
Department Of Computer Science University Of Bristol
-
小西 健太
神戸大学大学院自然科学研究科
-
田村 直之
神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
-
田村 直之
神戸大学工学部情報知能工学科
-
宋 剛秀
奈良工業高等専門学校
-
岩沼 宏治
山梨大学大学院コンピュータメディア工学専攻
-
宋 剛秀
神戸大学
-
井上 克巳
国立情報学研究所:総合研究大学院大学情報学専攻
-
関 俊一
松下電子部品 (株)
-
岩沼 宏治
山梨大学大学院 医学工学総合研究部
-
井垣 努
松下電子部品 (株)
著作論文
- アブダクションとインダクション(論理に基づく推論研究の動向)
- 解集合プログラミング(論理に基づく推論研究の動向)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- 特集「論理に基づく推論研究の動向」にあたって
- SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
- CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
- PrologからJavaへのトランスレータ処理系とその応用
- CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
- 極小限定を用いた帰納推論
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
- アフォーダンス理論による人工技能への接近 : 記憶と身体性