The Africa Program achieves its mission through in-depth research that offers practical solutions to key challenges in US-Africa relations. The Africa Program's flagship initiatives include the ...
The need for deeper semantic processing of human language by our natural language processing systems is evidenced by their still-unreliable performance on inferencing tasks, even using deep learning ...
The research traditions of memory, reasoning, and categorization have largely developed separately. This is especially true for reasoning and categorization, where the former has focused on logic and ...
The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...
To be rational is to be able to reason. Thirty years ago psychologists believed that human reasoning depended on formal rules of inference akin to those of a logical calculus. This hypothesis ran into ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results