Майкл Гелфонд

Американский учёный-компьютерщик

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

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

Ссылки

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

П ≟ НП

Эта биографическая статья, касающаяся ученого-компьютерщика, является заглушкой . Вы можете помочь Википедии, расширив ее.