Visual Languages and Logic
- Already Purchased? View Article
- Subscription Options Learn More
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.
Published in:
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on
Date of Conference: 23-27 Sept. 2007