ジョン・マッカーシー
1971年: チューリング賞 (Association for Computing Machinery)
1988年: 京都賞先端技術部門
1990年: アメリカ国家科学賞
1999年: コンピュータ歴史博物館フェロー
2003年: ベンジャミン・フランクリン・メダル
2011年: IEEE Intelligent Systems の人工知能の殿堂入り
In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
1998. Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning, Commonsense-1998.
Costello, T. との共著 1999. Useful counterfactuals. Electronic Transactions on Artificial Intelligence 3(A):51-76
2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002, 615-628.