1
by Gordon, Andrew S., Hobbs, Jerry R.
Published 2017
Cambridge University Press
... hundred axioms of first-order logic organized into twenty-nine commonsense psychology theories and sixteen...