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. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,075 ...
. He received a degree in mathematics from the
Steklov Institute of Mathematics
Steklov Institute of Mathematics or Steklov Mathematical Institute (russian: Математический институт имени В.А.Стеклова) is a premier research institute based in Moscow, specialized in mathematics, and a part ...
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 s ...
and
knowledge representation
Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medic ...
. 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 scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artif ...
, the Editor-in-Chief of the
ACM Transactions on Computational Logic
''ACM Transactions on Computational Logic'' (''ACM TOCL'') is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier ...
, and an Editorial Advisor of the journal ''Theory and Practice of Logic Programming''.
He, together with
Michael Gelfond, defined
stable model semantics for logic programs, 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 a ...
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