Michael Gelfond
http://dbpedia.org/resource/Michael_Gelfond an entity of type: Thing
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, and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal Theory and Practice of Logic Programming.
rdf:langString
rdf:langString
Michael Gelfond
xsd:integer
36681927
xsd:integer
1024432340
rdf:langString
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, 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 for logic programs, which later became the theoretical foundation for Answer Set Programming, a new declarative programming paradigm.
xsd:nonNegativeInteger
1938