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