Mark E. Stickel - Mark E. Stickel

Mark E. Stickel (22 Haziran 1947 - 13 Nisan 2013) şu alanlarda çalışan bir bilgisayar bilimcisiydi: otomatik teorem kanıtlama ve yapay zeka. Çalıştı SRI Uluslararası 30 yılı aşkın süredir Yapay Zeka Merkezinde Baş Bilim Adamı olarak görev yaptı.^[1]

Stickel'in araştırması arasında Teori Çözünürlüğü, İlişkisel-Değişmeli (AC) Birleştirme ve Prolog Teknoloji Teoremi Atasözünün (PTTP) geliştirilmesi ve SNARK, SRI'nin Yeni Otomatik Akıl Yürütme Kiti.^[2]

O milletvekili seçildi Amerikan Yapay Zeka Derneği 1992'de aldı ve Herbrand Ödülü 2002'de otomatik kesintiye yaptığı katkılardan dolayı.^[3]

Referanslar

^ Perrault, Ray; Waldinger, Richard (13 Nisan 2013). "Mark Stickel". AItopics. aitopics.org. Alındı 26 Eylül 2014.
^ Stickel, Mark. "Mark E. Stickel". SRI Uluslararası. Alındı 26 Eylül 2014.
^ "Otomatik Akıl Yürütmeye Olağanüstü Katkılar için Herbrand Ödülü". CADE Inc. Alındı 11 Aralık 2016.

Amerikalı bir bilim adamı hakkındaki bu makale, Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.

P ≟ NP

Bir ile ilgili bu biyografik makale bilgisayar uzmanı bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.

[1] Perrault, Ray; Waldinger, Richard (13 Nisan 2013). "Mark Stickel". AItopics. aitopics.org. Alındı 26 Eylül 2014.

[2] Stickel, Mark. "Mark E. Stickel". SRI Uluslararası. Alındı 26 Eylül 2014.

[3] "Otomatik Akıl Yürütmeye Olağanüstü Katkılar için Herbrand Ödülü". CADE Inc. Alındı 11 Aralık 2016.

[1]

[2]

[3]