Title :
Visual Languages and Logic
Author :
Cox, Philip ; Fish, Andrew ; Howse, John
Author_Institution :
Dalhousie University, Canada
Abstract :
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.
Keywords :
Application software; Computational modeling; Computer interfaces; LAN interconnection; Laboratories; Logic design; Logic programming; Marine animals;
Conference_Titel :
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on
Conference_Location :
Coeur d´Alene, ID, USA
Print_ISBN :
978-0-7695-2987-5
DOI :
10.1109/VLHCC.2007.56
