John McCarthy

Worked on:

LISP
Minimal Model Semantics with Circumscription
Missionaries and Cannibals example
Artificial Intelligence