Last modified: Wed Mar 4 15:52:55 JST 2009
研究テーマ
- 人工知能(Artificial Intelligence)
- 機械学習
- 論理プログラミング
- 数理論理
- 法律と人工知能
- エキスパートシステム
- マルチエージェント
- 認知科学
- 推論
- 類推
- 社会情報学
リンク集
- Computing the Stable Model Semantics
安定モデルの高速生成器．
- Collection on Answer Set Programming and more
ASPのリンク集．
- Paraconsistent Logic
StanfordのWikipedia．