Michael Gelfond: Difference between revisions
Content deleted Content added
JohnnyBflat (talk | contribs) Importing Wikidata short description: "American computer scientist" (Shortdesc helper) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|American computer scientist}} |
{{Short description|American computer scientist}} |
||
'''Michael Gelfond''' is a Professor in Computer Sciences at [[Texas Tech University]] in the [[United States]]. He received a degree in mathematics from the [[Steklov Institute of Mathematics]] 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]],<ref> |
'''Michael Gelfond''' is a Professor in Computer Sciences at [[Texas Tech University]] in the [[United States]]. He received a degree in mathematics from the [[Steklov Institute of Mathematics]] 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]],<ref> |
||
[http://www.aaai.org/Awards/fellows-current.php List of AAAI Fellows] on the AAAI website |
[http://www.aaai.org/Awards/fellows-current.php List of AAAI Fellows] on the AAAI website |
||
</ref> and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal ''Theory and Practice of Logic Programming''. |
</ref> and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal ''Theory and Practice of Logic Programming''. |
||
He, together with [[Vladimir Lifschitz]], defined [[stable model semantics]]<ref>Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080</ref> for logic |
He, together with [[Vladimir Lifschitz]], defined [[stable model semantics]]<ref>Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080</ref> for [[logic program]]s, which later became the theoretical foundation for [[Answer Set Programming]],<ref>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</ref> a new declarative programming paradigm. |
Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999</ref> a new [[declarative programming]] paradigm. |
||
==References== |
==References== |
||
Revision as of 17:51, 1 October 2023
Michael Gelfond is a Professor in Computer Sciences at Texas Tech University in the United States. He received a degree in mathematics from the Steklov Institute of Mathematics 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,[1] and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal Theory and Practice of Logic Programming.
He, together with Vladimir Lifschitz, defined stable model semantics[2] for logic programs, which later became the theoretical foundation for Answer Set Programming,[3] a new declarative programming paradigm.
References
- ^ List of AAAI Fellows on the AAAI website
- ^ Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080
- ^ 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
External links
- Michael Gelfond's homepage at Texas Tech University
- Michael Gelfond's publications on DBLP
- Michael Gelfond at the Mathematics Genealogy Project
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
