•  34
    An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning
    with Yasuhiro Katagiri
    Cognitive Science 37 (2): 211-254. 2013.
    Semantic studies on diagrammatic notations (Barwise & Etchemendy, ; Shimojima, ; Stenning & Lemon, ) have revealed that the “non-deductive,” “emergent,” or “perceptual” effects of diagrams (Chandrasekaran, Kurup, Banerjee, Josephson, & Winkler, ; Kulpa, ; Larkin & Simon, ; Lindsay, ) are all rooted in the exploitation of spatial constraints on graphical structures. Thus, theoretically, this process is a key factor in inference with diagrams, explaining the frequently observed reduction of infere…Read more
  •  26
    Editorial: Efficacy of diagrammatic reasoning (review)
    with Oliver Lemon and Maarten de Rijke
    Journal of Logic, Language and Information 8 (3): 265-271. 1999.
  •  23
    Operational constraints in diagrammatic reasoning
    In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams, Oxford University Press. 1996.
  •  17
    Diagrammatic Representation and Inference (edited book)
    with A. Blackwell and K. Marriott
    Springer. 2004.
    This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004.The 18 revised full papers and 42 revised poster papers presented together with a survey article and ...
  •  14
    A logical analysis of graphical consistency proofs
    In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning, Kluwer Academic Publishers. pp. 93--115. 2002.
  •  13
    What Makes an Effective Representation of Information: A Formal Account of Observational Advantages
    with Gem Stapleton and Mateja Jamnik
    Journal of Logic, Language and Information 26 (2): 143-177. 2017.
    In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make bette…Read more
  •  5
    Speech and graphical interaction in multimodal communication
    with Ichiro Umata and Yasuhiro Katagiri
    In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference, Springer. pp. 316--328. 2004.
  • Reasoning with diagrams and geometrical constraints
    In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Csli Publications, Stanford. pp. 1--527. 1996.
  • Logic, Language and Computation, Volume 3 (edited book)
    with Patrick Blackburn, Nick Braisby, and Lawrence Cavedon
    Center for the Study of Language and Inf. 2001.
    With the rise of the internet and the proliferation of technology to gather and organize data, our era has been defined as "the information age." With the prominence of information as a research concept, there has arisen an increasing appreciation of the intertwined nature of fields such as logic, linguistics, and computer science that answer the questions about information and the ways it can be processed. The many research traditions do not agree about the exact nature of information. By bring…Read more
  • Editorial: Visual logic, language and information
    with O. Lemon and M. de Rijke
    Journal of Logic Language and Information 8 (3): 265-271. 1999.
  • On the Efficacy of Representation
    Dissertation, Indiana University. 1996.
    We define a "representation" as an external object with which we denote another object and present information about it to ourselves or others. All the following objects count as representations in our sense: a set of Japanese declarative sentences describing Mount Fuji, a time table of the Boston subway system, a geometry diagram used to demonstrate the Pythagorean theorem, a state map of the United States, a relief map of a Rocky terrain, a ball-and-stick model of a molecular, and a scale mode…Read more