Loading article…
マイケル・ゲルフォンドは、米国テキサス工科大学のコンピュータサイエンスの教授です。 1974年にロシアのステクロフ数学研究所で数学の学位を取得し、1978年に米国に移住しました。ゲルフォンドの研究対象は、計算論理と知識表現の分野です。彼は、人工知能推進協会[1]のフェローであり、雑誌「Theory and Practice of Logic Programming」の領域編集者（知識表現と非単調推論）でもあります。
彼はウラジミール・リフシッツとともに論理プログラムの安定モデル意味論[2]を定義し、これが後に新しい宣言型プログラミングパラダイムであるアンサーセットプログラミング[3]の理論的基礎となった。
参考文献
- ^ AAAIウェブサイト上のAAAIフェローリスト
- ^ Michael Gelfond、Vladimir Lifschitz: 論理プログラミングのための安定したモデル意味論。ICLP/SLP 1988: 1070-1080
- ^ Victor Marek と Miroslaw Truszczynski。安定モデルと代替論理プログラミングパラダイム。『論理プログラミングパラダイム: 25 年の展望』、375-398 ページ。Springer Verlag、1999 年
外部リンク
- テキサス工科大学のマイケル・ゲルフォンドのホームページ
- DBLP における Michael Gelfond の出版物
- 数学系譜プロジェクトのマイケル・ゲルフォンド