One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology

Open in new window