Владимир Лифшиц
Владимир Лифшиц (родился 30 мая 1947 года) — профессор компьютерных наук Техасского университета в Остине, посвященный 100-летию семьи Готтесман . Он получил степень по математике в Математическом институте им. Стеклова в России в 1971 году и эмигрировал в США в 1976 году. Научные интересы Лифшица лежат в области вычислительной логики и представления знаний . Он является членом Ассоциации по развитию искусственного интеллекта , главным редактором журнала ACM Transactions on Computational Logic и советником редакции журнала Theory and Practice of Logic Programming .
Он вместе с Михаилом Гельфондом определил семантику устойчивой модели. [1] для логических программ , которые позже стали теоретической основой программирования наборов ответов , [2] новая парадигма декларативного программирования .
Ссылки
[ редактировать ]- ^ Майкл Гельфонд, Владимир Лифшиц: Семантика стабильной модели для логического программирования. ICLP/SLP 1988: 1070–1080.
- ^ Виктор Марек и Мирослав Трушинский. Стабильные модели и альтернативная парадигма логического программирования. В логическом программированииПарадигма: 25-летняя перспектива, страницы 375–398. Спрингер Верлаг, 1999 г.
Внешние ссылки
[ редактировать ]- Домашняя страница Владимира Лифшица в Техасском университете в Остине
- Публикации Владимира Лифшица о ДБЛП
- Владимир Лифшиц на проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
