JVenn: A visual reasoning system with diagrams and sentences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1889, Issue , 2000, Pages 271-285

  Sawamura, Hajime ^a   Kiyozuka, Kensuke ^a  

^a NIIGATA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

METALS;

DIAGRAMMATIC REASONING; SYMBOLIC REASONING; VISUAL REASONING;

GRAPHIC METHODS;

EID: 84942909672     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44590-0_25     Document Type: Conference Paper

References (14)

1. G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.
2. J. Barwise and J. Etchemendy. HyperProof. CSLI Publications, 1994.
3. M. Bense. Einfihrung in die informationstheoretische Asthetik. Rowohlt Taschen- buch Verlag, 1969. (Japanese translation by K. Kusabuka, Keisoshobo, 1997).
4. E. Hammer. Reasoning with sentences and diagrams. Notre Dame Journal of Formal Logic, 35(1):73-87, 1994.
5. E. Izuhara, T. Yoshida, and H. Atsumi. Systems of Diagrams - Diagrammatic Thinking and its Representation. Nikkagiren, 1986. (in Japanese).
6. K. Kiyozaka and H. Sawamura. Considerations on the complexity of visual rea¬soning with sentences and diagrams. Journal of Japanese Society for Artificial Intelligence, 14(4):646-656, 1999. (in Japanese).
7. R. B. Nelsen. Proofs Without Words. The Mathematical Association of America., 1993.
8. T. Nishida and Y. Anzai. Special issue on diagrammatic inference. Journal of Japanese Society for Artificial Intelligence, 9(1):182-215, 1994.
9. J. Nolt and D. Rohatyn. Theory and Problems of Logic, Schaum’s Outline Series. McGraw-Hill, Inc., 1988.
10. H. Sawamura and K. Kiyozuka. Considerations on the Complexity and Beauty of Visual Reasoning with Diagrams and Sentences. 2000. (unpublished manuscript).
11. S.-J. Shin. Situation-theoretic account of valid reasoning with venn diagrams. In [1], pages 81-108.
12. T. Taniguchi. Philosophical Logic. Gakubunsya, 1979. (in Japanese).
13. C. Tinelli. Combination methods in automated reasoning. http://acsl.cs.uiuc.edu/combination/.
14. R. Wesley and J. Moor. Venn - A Philosophy Tutor, Courseware Development Group. Dartmouth College, Kinko’s, 1986.