Mark E. Stickel

From Infogalactic: the planetary knowledge core
(Redirected from Mark Stickel)
Jump to: navigation, search

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.[1]

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.[2]

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.[3]

References

  1. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  2. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  3. ↑ Lua error in package.lua at line 80: module 'strict' not found.

<templatestyles src="Asbox/styles.css"></templatestyles>

Flag of United StatesScientist icon Stub icon

This article about an American scientist is a stub. You can help Wikipedia by expanding it.

<templatestyles src="Asbox/styles.css"></templatestyles>

P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.
Retrieved from "https://infogalactic.com/w/index.php?title=Mark_E._Stickel&oldid=690035274"