Владимир Лифшиц

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

Владимир Лифшиц (родился 30 мая 1947 года) — профессор компьютерных наук в Техасском университете в Остине , удостоенный звания Gottesman Family Centennial . Он получил степень по математике в Математическом институте им. Стеклова в России в 1971 году и эмигрировал в США в 1976 году. Научные интересы Лифшица лежат в области вычислительной логики и представления знаний . Он является членом Ассоциации по развитию искусственного интеллекта , главным редактором ACM Transactions on Computational Logic и редакционным консультантом журнала Theory and Practice of Logic Programming .

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

Ссылки

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

П ≟ НП

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