Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6830566> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Q6830566 description "American computer scientist".
- Q6830566 description "American computer scientist".
- Q6830566 subject Q13269080.
- Q6830566 subject Q5312304.
- Q6830566 subject Q7067047.
- Q6830566 subject Q8445862.
- Q6830566 subject Q8845078.
- Q6830566 abstract "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, 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.".
- Q6830566 wikiPageExternalLink ~mgelfond.
- Q6830566 wikiPageExternalLink Gelfond:Michael.html.
- Q6830566 wikiPageWikiLink Q13269080.
- Q6830566 wikiPageWikiLink Q1423756.
- Q6830566 wikiPageWikiLink Q2739680.
- Q6830566 wikiPageWikiLink Q2852531.
- Q6830566 wikiPageWikiLink Q5312304.
- Q6830566 wikiPageWikiLink Q611420.
- Q6830566 wikiPageWikiLink Q7067047.
- Q6830566 wikiPageWikiLink Q7595770.
- Q6830566 wikiPageWikiLink Q7938456.
- Q6830566 wikiPageWikiLink Q8445862.
- Q6830566 wikiPageWikiLink Q8845078.
- Q6830566 name "Gelfond, Michael".
- Q6830566 shortDescription "American computer scientist".
- Q6830566 type Person.
- Q6830566 type Agent.
- Q6830566 type Person.
- Q6830566 type Agent.
- Q6830566 type NaturalPerson.
- Q6830566 type Thing.
- Q6830566 type Q215627.
- Q6830566 type Q5.
- Q6830566 type Person.
- Q6830566 comment "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.".
- Q6830566 label "Michael Gelfond".
- Q6830566 givenName "Michael".
- Q6830566 name "Gelfond, Michael".
- Q6830566 name "Michael Gelfond".
- Q6830566 surname "Gelfond".