Michael Gelfond is a Professor in Computer Sciences at

Texas Tech University Texas Tech University (Texas Tech, Tech, or TTU) is a public research university in Lubbock, Texas. Established on , and called Texas Technological College until 1969, it is the main institution of the five-institution Texas Tech University Sys ...

in the

United States The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territorie ...

. 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 1974 and emigrated to the United States in 1978. Gelfond's research interests are in the areas of computational logic and knowledge representation. 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 ...

, and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal ''Theory and Practice of Logic Programming''. He, together with

Vladimir Lifschitz Vladimir Lifschitz (born 30 May 1947) is the Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin. He received a degree in mathematics from the Steklov Institute of Mathematics in Russia in 1971 and emigra ...

, 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 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 paradigm.

References

External links

Michael Gelfond's homepage at Texas Tech University

* Living people American computer scientists Texas Tech University faculty Logic programming researchers Fellows of the Association for the Advancement of Artificial Intelligence Year of birth missing (living people) {{compu-scientist-stub