Mark E. Stickel


Mark E. Stickel (22 de junio de 1947 - 13 de abril de 2013) fue un científico informático que trabajaba en los campos de la demostración automatizada de teoremas y la inteligencia artificial . Trabajó en SRI International durante más de 30 años y fue científico principal en el Centro de Inteligencia Artificial. [1]

La investigación de Stickel incluyó Resolución Teórica, Unificación Asociativa-Conmutativa (AC) y el desarrollo del Probador de Teoremas de Tecnología Prólogo (PTTP) y SNARK , el Nuevo Kit de Razonamiento Automatizado de SRI. [2]

Fue elegido miembro de la Asociación Estadounidense de Inteligencia Artificial en 1992 y recibió el premio Herbrand por sus contribuciones a la deducción automática en 2002. [3]

Este artículo biográfico relacionado con un científico de la computación es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .