Deductive reasoning about expressive statements using external graphical representations.

Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams

Browse the full CogSci paper archive.