Mark E. Stickel - Mark E. Stickel - Wikipedia

Mark E. Stickel (22. Června 1947 - 13. Dubna 2013) byl počítačový vědec pracující v oblastech automatizované dokazování věty a umělá inteligence. Pracoval v SRI International více než 30 let a byl hlavním vědeckým pracovníkem v Centru umělé inteligence.^[1]

Stickelův výzkum zahrnoval Teorie řešení, Sdružení asociativně-komutativních (AC) a vývoj Prolog Technology Theorem Prover (PTTP) a SNARK, Nová automatizovaná sada uvažování SRI.^[2]

Byl zvolen členem Americká asociace pro umělou inteligenci v roce 1992 a obdržel Herbrand Award za jeho příspěvky k automatickému odpočtu v roce 2002.^[3]

Reference

^ Perrault, Ray; Waldinger, Richard (13. dubna 2013). „Mark Stickel“. AItopics. aitopics.org. Citováno 26. září 2014.
^ Stickel, Mark. „Mark E. Stickel“. SRI International. Citováno 26. září 2014.
^ „Herbrandova cena za významné příspěvky k automatizovanému uvažování“. CADE Inc.. Citováno 11. prosince 2016.

Tento článek o americkém vědci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

P ≟ NP

Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Perrault, Ray; Waldinger, Richard (13. dubna 2013). „Mark Stickel“. AItopics. aitopics.org. Citováno 26. září 2014.

[2] Stickel, Mark. „Mark E. Stickel“. SRI International. Citováno 26. září 2014.

[3] „Herbrandova cena za významné příspěvky k automatizovanému uvažování“. CADE Inc.. Citováno 11. prosince 2016.

[1]

[2]

[3]