Mark E. Stickel (June 22, 1947 – April 13, 2013) was a computer scientist working in the fields of

automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...

and

artificial intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech re ...

. 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 Snark may refer to: Fictional creatures * Snark (Lewis Carroll), a fictional animal species in Lewis Carroll's ''The Hunting of the Snark'' (1876) * Zn'rx, a race of fictional aliens in Marvel Comics publications, commonly referred to as "Snark ...

, SRI's New Automated Reasoning Kit. He was elected fellow of the

American Association for Artificial Intelligence The Association for the Advancement of Artificial Intelligence (AAAI) is an international scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artif ...

in 1992 and received the

Herbrand Award The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important cont ...

for his contributions to automated deduction in 2002.

References

1947 births 2013 deaths American computer scientists SRI International people Fellows of the Association for the Advancement of Artificial Intelligence {{compu-scientist-stub