Майкл Гельфонд
Майкл Гельфонд — профессор компьютерных наук Техасского технологического университета в США . Он получил степень по математике в Математическом институте им. Стеклова в России в 1974 году и эмигрировал в США в 1978 году. Научные интересы Гельфонда лежат в области вычислительной логики и представления знаний . Он является членом Ассоциации по развитию искусственного интеллекта . [1] и редактор области (по представлению знаний и немонотонному рассуждению) журнала «Теория и практика логического программирования» .
Он вместе с Владимиром Лифшицем определил семантику устойчивой модели. [2] для логических программ , которые позже стали теоретической основой программирования наборов ответов , [3] новая парадигма декларативного программирования .
Ссылки
[ редактировать ]- ^ Список стипендиатов AAAI на веб-сайте AAAI.
- ^ Майкл Гельфонд, Владимир Лифшиц: Семантика стабильной модели для логического программирования. ICLP/SLP 1988: 1070–1080.
- ^ Виктор Марек и Мирослав Трушинский. Стабильные модели и альтернативная парадигма логического программирования. В логическом программированииПарадигма: 25-летняя перспектива, страницы 375–398. Спрингер Верлаг, 1999 г.
Внешние ссылки
[ редактировать ]- Домашняя страница Майкла Гельфонда в Техасском технологическом университете
- Публикации Михаила Гельфонда на DBLP
- Михаил Гельфонд в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
