Vladimir Lifschitz (born 30 May 1947) is the Gottesman Family Centennial Professor in Computer Sciences at

the University of Texas at Austin The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas, United States. Founded in 1883, it is the flagship institution of the University of Texas System. With 53,082 students as of fall 2 ...

. He received a degree in mathematics from the

Steklov Institute of Mathematics Steklov Institute of Mathematics or Steklov Mathematical Institute () is a premier research institute based in Moscow, specialized in mathematics, and a part of the Russian Academy of Sciences. The institute is named after Vladimir Andreevich Stek ...

in Russia in 1971 and emigrated to the United States in 1976. Lifschitz's research interests are in the areas of

computational logic Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is a ...

and

knowledge representation Knowledge representation (KR) aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems whereas knowledge representation and reasoning (KRR, KR&R, or KR²) also aims to understand, reason, and ...

. He is a Fellow of the

Association for the Advancement of Artificial Intelligence The Association for the Advancement of Artificial Intelligence (AAAI) is an international Learned society, scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public under ...

, the Editor-in-Chief of the

ACM Transactions on Computational Logic ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * IATA airport code for Arica Airport in Amazonas Department, Colombia Comput ...

, and an Editorial Advisor of the journal ''Theory and Practice of Logic Programming''. He, together with Michael Gelfond, defined

stable model semantics The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program com ...

for

logic program Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...

s, which later became the theoretical foundation for

Answer Set Programming Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced ...

,Victor Marek and Miroslaw Truszczynski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999 a new

declarative programming In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Many languages that ap ...

paradigm.

References

External links

Vladimir Lifschitz's homepage at University of Texas at Austin

* Living people American computer scientists University of Texas at Austin faculty Logic programming researchers Fellows of the Association for the Advancement of Artificial Intelligence 1947 births {{compu-scientist-stub