Vladimir Lifschitz とは

Vladimir Lifschitzは、オースティンのテキサス大学でコンピューター科学のGottesman Family Centennial教授です。彼は1971年にロシアのSteklov数学研究所で数学を学び、1976年に米国に移住しました。Lifschitzの研究分野は、計算ロジックと知識表現の分野です。彼は、人工知能の発展のための協会のフェロー、計算論理のACMトランザクションの編集長、論理学の理論と実務の編集顧問を務めています。
彼はMichael Gelfondと共同で、論理プログラムの安定したモデルセマンティクスを定義しました。これは、後で新しい宣言型プログラミングパラダイムであるAnswer Set Programmingの理論上の基礎となりました。