WikiDer > Владимир Лифшиц
Владимир Лифшиц (родился 30 мая 1947 г.) - профессор компьютерных наук, посвященный столетию семьи Готтесман. Техасский университет в Остине. Он получил степень математика в Математический институт им. В. А. Стеклова в России в 1971 году и эмигрировал в США в 1976 году. Научные интересы Лифшица лежат в области вычислительная логика и представление знаний. Он член Ассоциация развития искусственного интеллекта, главный редактор журнала Транзакции ACM по вычислительной логике, и советник редакции журнала Теория и практика логического программирования.
Он вместе с Майкл Гельфонд, определенный семантика стабильной модели[1] для логических программ, которые впоследствии стали теоретической основой Программирование набора ответов,[2] новый декларативное программирование парадигма.
Рекомендации
- ^ Майкл Гельфонд, Владимир Лифшиц: Семантика стабильных моделей для логического программирования. ICLP / SLP 1988: 1070-1080
- ^ Виктор Марек и Мирослав Трущинский. Стабильные модели и альтернативная парадигма логического программирования. В парадигме логического программирования: 25-летняя перспектива, страницы 375-398. Springer Verlag, 1999 г.
внешняя ссылка
- Домашняя страница Владимира Лифшица в Техасском университете в Остине
- Публикации Владимира Лифшица по DBLP
- Владимир Лифшиц на Проект "Математическая генеалогия"
| P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |