Loading article…
ウラジミール・リフシッツ（1947年5月30日生まれ）は、テキサス大学オースティン校のゴッテスマン家100周年記念コンピュータサイエンス教授です。1971年にロシアのステクロフ数学研究所で数学の学位を取得し、1976年に米国に移住しました。リフシッツの研究対象は、計算論理と知識表現の分野です。彼は、人工知能推進協会のフェロー、 ACM Transactions on Computational Logicの編集長、およびジャーナルTheory and Practice of Logic Programmingの編集顧問を務めています。
彼はマイケル・ゲルフォンドとともに論理プログラムの安定モデル意味論[1]を定義し、これは後に新しい宣言型プログラミングパラダイムであるアンサーセットプログラミング[2]の理論的基礎となった。
参考文献
- ^ Michael Gelfond、Vladimir Lifschitz: 論理プログラミングのための安定したモデル意味論。ICLP/SLP 1988: 1070-1080
- ^ Victor Marek と Miroslaw Truszczynski。安定モデルと代替論理プログラミングパラダイム。『論理プログラミングパラダイム: 25 年の展望』、375-398 ページ。Springer Verlag、1999 年
外部リンク
- テキサス大学オースティン校のウラジミール・リフシッツのホームページ
- DBLP における Vladimir Lifschitz の出版物
- 数学系譜プロジェクトのウラジミール・リフシッツ