Vladimir Lifschitz (nacido el 30 de mayo de 1947) es el profesor centenario de informática de la familia Gottesman en la Universidad de Texas en Austin . Recibió una licenciatura en matemáticas del Instituto Steklov de Matemáticas en Rusia en 1971 y emigró a los Estados Unidos en 1976. Los intereses de investigación de Lifschitz se encuentran en las áreas de lógica computacional y representación del conocimiento . Es miembro de la Association for the Advancement of Artificial Intelligence , editor en jefe de ACM Transactions on Computational Logic y asesor editorial de la revista Theory and Practice of Logic Programming .
Él, junto con Michael Gelfond , definió la semántica del modelo estable [1] para programas lógicos, que más tarde se convirtió en la base teórica de la Programación de conjuntos de respuestas , [2] un nuevo paradigma de programación declarativa .
Referencias
- ^ Michael Gelfond, Vladimir Lifschitz: La semántica del modelo estable para la programación lógica. ICLP / SLP 1988: 1070-1080
- ^ Victor Marek y Miroslaw Truszczynski. Modelos estables y paradigma de programación lógica alternativa. En El paradigma de la programación lógica: una perspectiva de 25 años, páginas 375-398. Springer Verlag, 1999
enlaces externos
- Página de inicio de Vladimir Lifschitz en la Universidad de Texas en Austin
- Publicaciones de Vladimir Lifschitz sobre DBLP
- Vladimir Lifschitz en el Proyecto de genealogía matemática