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ó la resolución de la teoría, la unificación asociativa-conmutativa (AC) y el desarrollo del Probador de teoremas de tecnología Prolog (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]
Referencias
- ^ Perrault, Ray; Waldinger, Richard (13 de abril de 2013). "Mark Stickel" . AItopics . aitopics.org . Consultado el 26 de septiembre de 2014 .
- ^ Stickel, Mark. "Mark E. Stickel" . SRI Internacional . Consultado el 26 de septiembre de 2014 .
- ^ "El premio Herbrand por contribuciones distinguidas al razonamiento automatizado" . CADE Inc . Consultado el 11 de diciembre de 2016 .