Michael Gelfond とは

Michael GelfondはTexas Tech Universityのコンピュータサイエンス教授です。 1974年にロシアのSteklov数学研究所で数学を学び、1978年に米国に移住しました.Gelfondの研究分野は、計算ロジックと知識表現の分野です。彼は人工知能の発展のための協会のフェローであり、論理プログラミングの理論と実践のジャーナルの領域エディタ(知識表現と非単調推論の)である。
彼は、Vladimir Lifschitzと共に論理プログラムの安定したモデルセマンティクスを定義しました。これは後で、新しい宣言型プログラミングパラダイムであるAnswer Set Programmingの理論上の基礎になりました。