Марк Э. Стикель - Википедия - Mark E. Stickel
Марк Э. Стикель (22 июня 1947 - 13 апреля 2013) был компьютерным ученым, работающим в области автоматическое доказательство теорем и искусственный интеллект. Он работал в SRI International более 30 лет и был главным научным сотрудником Центра искусственного интеллекта.[1]
Исследования Стикеля включали в себя разрешение теории, ассоциативно-коммутативное (AC) объединение, а также разработку средства доказательства теорем технологии Prolog (PTTP) и СНАРК, Новый набор автоматизированных рассуждений SRI.[2]
Он был избран членом Американская ассоциация искусственного интеллекта в 1992 г. и получил Премия Herbrand за его вклад в автоматизированный вычет в 2002 году.[3]
Рекомендации
- ^ Перро, Рэй; Уолдингер, Ричард (13 апреля 2013 г.). «Марк Стикель». AIтемы. aitopics.org. Получено 26 сентября 2014.
- ^ Стикель, Марк. "Марк Э. Стикель". SRI International. Получено 26 сентября 2014.
- ^ "Премия Herbrand за выдающийся вклад в автоматизированное мышление". CADE Inc. Получено 11 декабря 2016.
Авторитетный контроль  |
|---|
   | Эта статья об американском ученом - заглушка. Вы можете помочь Википедии расширяя это. |
| P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |