Майкл Гельфонд - Википедия - Michael Gelfond

Майкл Гельфонд является профессором компьютерных наук в Техасский технический университет в Соединенные Штаты. Он получил степень математика в Математический институт им. В. А. Стеклова в 1974 г. в России и в 1978 г. эмигрировал в США. Научные интересы Гельфонда лежат в области вычислительной логики и представления знаний. Он член Ассоциация развития искусственного интеллекта,[1] и редактор области (в области представления знаний и немонотонных рассуждений) журнала Теория и практика логического программирования.

Он вместе с Владимир Лифшиц, определенный семантика стабильной модели[2] для логических программ, которые впоследствии стали теоретической основой Программирование набора ответов,[3] новая парадигма декларативного программирования.

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

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

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