| 词条 | Michael Gelfond |
| 释义 |
Michael Gelfond is a Professor in Computer Sciences at Texas Tech University. 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. References1. ^List of AAAI Fellows on the AAAI website 2. ^Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 3. ^Victor Marek and Miroslaw Truszczynski. Stable models and an alternative logic programming paradigm. In The Logic ProgrammingParadigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999 External links
6 : 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) |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。