Visual Languages and Human-Centric Computing, IEEE Symposium on (2007)
Coeur d?Al?ne, Idaho
Sept. 23, 2007 to Sept. 27, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.56
Philip Cox , Dalhousie University, Canada
Andrew Fish , University of Brighton, UK
John Howse , University of Brighton, UK
Diagrams of one sort or another have always been used as aids to abstract reasoning. Although many are informal mnemonics, reminding their authors about structures and relationships they have observed or deduced, considerable research effort has been expended on formalising graphical notations so that they may play a more central role in the application of logic to problems.
P. Cox, J. Howse and A. Fish, "Visual Languages and Logic," 2007 IEEE Symposium on Visual Languages and Human-Centric Computing(VLHCC), Coeur d'Alene, ID, 2007, pp. 3.