Jump to content

Vladimir Lifschitz

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Baojie (talk | contribs) at 19:33, 28 September 2010. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Vladimir Lifschitz is a Computer Scientist specified in Knowledge Representation. He is currently a professor at the University of Texas, Austin . He is one of the leading researchers in non-monotonic logics and logic programming. He, together with Gelfond, defined the stable model semantics for logic programs, which leads to the development of Answer Set Programming[1].

He holds a Ph.D. degree in Mathematics (1969) from Steklov Institute of Mathematics, Russia.

  1. ^ Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Vladimir_Lifschitz&oldid=387587938"