About: Mark E. Stickel

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Mark E. Stickel (June 22, 1947 – April 13, 2013) was a computer scientist working in the fields of automated theorem proving and artificial intelligence. He worked at SRI International for over 30 years, and was Principal Scientist at the Artificial Intelligence Center. Stickel's research included Theory Resolution, Associative-Commutative (AC) Unification, and the development of the Prolog Technology Theorem Prover (PTTP) and SNARK, SRI's New Automated Reasoning Kit.

Property	Value
dbo:abstract	Mark E. Stickel (June 22, 1947 – April 13, 2013) was a computer scientist working in the fields of automated theorem proving and artificial intelligence. He worked at SRI International for over 30 years, and was Principal Scientist at the Artificial Intelligence Center. Stickel's research included Theory Resolution, Associative-Commutative (AC) Unification, and the development of the Prolog Technology Theorem Prover (PTTP) and SNARK, SRI's New Automated Reasoning Kit. He was elected fellow of the American Association for Artificial Intelligence in 1992 and received the Herbrand Award for his contributions to automated deduction in 2002. (en)
dbo:wikiPageID	43957012 (xsd:integer)
dbo:wikiPageLength	1609 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1086425894 (xsd:integer)
dbo:wikiPageWikiLink	dbc:1947_births dbr:SRI_International dbr:Automated_theorem_proving dbc:2013_deaths dbc:American_computer_scientists dbc:SRI_International_people dbr:Artificial_intelligence dbr:Herbrand_Award dbr:SNARK_(theorem_prover) dbr:American_Association_for_Artificial_Intelligence
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:US-scientist-stub dbt:Compu-scientist-stub
dcterms:subject	dbc:1947_births dbc:2013_deaths dbc:American_computer_scientists dbc:SRI_International_people
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/27715486
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901
rdfs:comment	Mark E. Stickel (June 22, 1947 – April 13, 2013) was a computer scientist working in the fields of automated theorem proving and artificial intelligence. He worked at SRI International for over 30 years, and was Principal Scientist at the Artificial Intelligence Center. Stickel's research included Theory Resolution, Associative-Commutative (AC) Unification, and the development of the Prolog Technology Theorem Prover (PTTP) and SNARK, SRI's New Automated Reasoning Kit. (en)
rdfs:label	Mark E. Stickel (en)
owl:sameAs	freebase:Mark E. Stickel http://viaf.org/viaf/27715486 yago-res:Mark E. Stickel https://dblp.org/pid/44/3472 wikidata:Mark E. Stickel https://global.dbpedia.org/id/kbKm
prov:wasDerivedFrom	wikipedia-en:Mark_E._Stickel?oldid=1086425894&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Mark_E._Stickel
is dbo:wikiPageRedirects of	dbr:Mark_Stickel
is dbo:wikiPageWikiLink of	dbr:Owen_Astrachan dbr:Herbrand_Award dbr:Mark_Stickel
is foaf:primaryTopic of	wikipedia-en:Mark_E._Stickel