Владимир Лифшиц - Vladimir Lifschitz

Владимир Лифшиц (родился 30 мая 1947 г.) - профессор компьютерных наук, посвященный столетию семьи Готтесман. Техасский университет в Остине. Он получил степень математика в Математический институт им. В. А. Стеклова в России в 1971 году и эмигрировал в США в 1976 году. Научные интересы Лифшица лежат в области вычислительная логика и представление знаний. Он член Ассоциация развития искусственного интеллекта, главный редактор журнала Транзакции ACM по вычислительной логике, и советник редакции журнала Теория и практика логического программирования.

Он вместе с Майкл Гельфонд, определенный семантика стабильной модели[1] для логических программ, которые впоследствии стали теоретической основой Программирование набора ответов,[2] новый декларативное программирование парадигма.

Рекомендации

  1. ^ Майкл Гельфонд, Владимир Лифшиц: Семантика стабильных моделей для логического программирования. ICLP / SLP 1988: 1070-1080
  2. ^ Виктор Марек и Мирослав Трущинский. Стабильные модели и альтернативная парадигма логического программирования. В парадигме логического программирования: 25-летняя перспектива, страницы 375-398. Springer Verlag, 1999 г.

внешняя ссылка