A visual syntax for logic and logic programming

Journal of Visual Languages and Computing

Volumn 9, Issue 4, 1998, Pages 399-427

  Agustí, Jaume ^a   Puigsegur, Jordi ^a   Robertson, Dave ^b  

^a INTEL CORPORATION   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032140777     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1998.0090     Document Type: Article

References (37)

1. 1. D. D. Roberts (1973) The Existential Graphs of Charles S. Pierce. Mouton and Co., The Hague.
2. 2. J. F. Sowa (1984) Conceptual Structures. Information Processing in Mind and Machine. Addison-Wesley, Reading, MA.
3. 3. J. Barwise & J. Etchemendy (1995) Heterogeneous logic. In: Diagrammatic Logics: Cognitive and Computational Perspectives. AAAI Press and MIT Press, New York, Cambridge, MA.
4. 4. J. Barwise & J. Etchemendy (1993) Hyperprooff. CSLI Publications, Stanford.
5. 5. J. Agustí, J. Puigsegur, D. Robertson & W. M. Schorlemmer (1996) Visual logic programming through set inclusion and chaining. In: CADE-13 Workshop on Visual Reasoning, August.
6. 6. D. Harel (1988) On Visual Formalisms. Communications of the ACM 31, 514-530.
7. 7. K. Marriott (1994) Constraint multiset grammars. In: Proceedings of the 10th IEEE Symposium on Visual Languages, St. Louis, Missouri, September. IEEE Computer Society Press, Silver Spring, MD.
8. 8. D. McAllester & R. Givan (1992) Natural language syntax and first-order inference. Artificial Intelligence 56, 1-20.
9. 9. M. Petre (1995) Why looking isn't always seeing: readership skills and graphical programming. Communications of the ACM 38.
10. 10. K. Marriott & B. Meyer (1996) Towards a hierarchy of visual languages. In: Proceedings of the 12th IEEE Symposium on Visual Languages, Boulder, CO, September. IEEE Computer Society Press, Silver Spring, MD.
11. 11. M. Erwig & B. Meyer (1995) Heterogeneous visual languages - integrating visual and textual programming. In: Proceedings of the 11th IEEE Symposium on Visual Languages, Darmstadt, Germany, September. IEEE Computer Society Press, Silver Spring, MD.
12. 12. E. P. Glinert & C. D. Smith (1986) PC-TILES, a visual programming environment for personal computers based on the BLOX Methodology. Technical Report 86-21, Department of Computer Science, Rensealaer Polytechnic Institute.
13. 13. E. Hammer (1993) Representing relations diagrammatically. In: Working Papers on Diagrams and Logic (G. Allwein & J. Barwise, eds,) Indiana University Logic Group Preprint Series IULG-93-24. Indiana University.
14. 14. G. Allwein & J. Barwise (eds) (1996) Logical Reasoning with Diagrams. Oxford University Press, New York.
15. 15. D. Ladret & M. Rueher (1991) VLP: a visual logic programming language. Journal of Visual Languages and Computing 2, 163-188.
16. 16. L. F. Pau & H. Olason (1991) Visual logic programming. Journal of Visual Languages and Computing 2, 3-15.
17. 17. P. T. Cox & T. Pietrzykowski, LOGRAPH: a graphical logic programming language. In: Proceedings of the IEEE COMPINT'85, Montreal, Quebec, Canada IEEE Computer Society Press, Silver Spring, MD, pp. 168-171.
18. 18. P. T. Cox & T. J. Smedley (1997) A declarative language for the design of structures. In: Proceedings of the 13th IEEE Symposium on Visual Languages, Capri, Italy, September. IEEE Computer Society Press, pp. 442-449.
19. 19. J.-L. Guèrin & P. Y. Gloess (1993) GrafOLog: a visual language for a logic with objects. Journal of Visual Languages and Computing 4, 301-324.
20. 20. M. A. Najork (1994) Programming in three dimensions. Ph.D. Thesis, University of Illinois at Urbana-Champaign, Urbana, IL.
21. 21. M. A. Najork (1996) Programming in three dimensions. Journal of Visual Languages and Computing 7, 219-242.
22. 22. L. Spratt & A. Ambler (1993) A visual logic programming languages based on sets and partitioning constraints. In: Proceedings of the 9th IEEE Symposium on Visual Languages, Bergen, Norway, September 1993. IEEE Computer Society Press, Silver Spring, MD.
23. 23. L. Spratt & A. Ambler (1994) SPARCL: a logic programming language built on sets. Available at http: //designlab.ukans.edu/~spratt/.
24. 24. W. Citrin, R. Hall & B. Zorn (1995) Programming with visual expressions. In: Proceedings of the 11th IEEE Symposium on Visual Languages, Darmstadt, Germany, September. IEEE Computer Society Press, Silver Spring, MD.
25. 25. K. M. Kahn & V. A. Saraswat (1990) Complete visualizations of concurrent programs and their executions. In: Proceedings of the 6th IEEE Workshop on Visual Languages, Skokie, IL, September. IEEE Computer Society Press, Silver Spring, MD.
26. 26. T. R. G. Green & M. Petre (1996) Usability analysis of visual programming environments: a 'cognitivie dimensions' framework. Journal of Visual Languages and Computing 7, 131-174.
27. 27. Bernd Meyer (1992) Pictures depicting pictures. In: Proceedings of the 8th IEEE Symposium on Visual Languages, Seattle, WA, September. IEEE Computer Society Press, Silver Spring, MD.
28. 28. M. Minas & G. Viehstaedt (1993) Specification of diagram editors providing layout adjustment with minimal change. In: Proceedings of the 9th IEEE Symposium on Visual Languages, Bergen, Norway, September. IEEE Computer Society Press, Silver Spring, MD.
29. 29. J. A. Serrano (1995) The use of semantic constraints on diagram editors. In: Proceedings of the 11th IEEE Symposium on Visual Languages, Darmstadt, Germany, September. IEEE Computer Society Press, Silver Spring, MD.
30. 30. W. Citrin & C. Santiago, Incorporatin fisheyeing into a visual programming environment. In: Proceedings of the 12th IEEE Symposium on Visual Languages, Boulder, CO, September. IEEE Computer Society Press, Silver Spring, MD.
31. 31. G. Viehstaedt & M. Minas (1994) Interaction in really grahpical user interfaces. In: Proceedings of the 10th IEEE Symposium on Visual Languages, St. Louis, Missouri, September. IEEE Computer Society Press, Silver Spring, MD.
32. 32. D. McAllester, R. Givan & T. Fatima (1993) Taxonomic syntax for first order inference. Journal of the ACM 40, 246-283.
33. 33. J. Agustí, D. Robertson & J. Puigsegur (1995) GraSp: a GRAphical SPecification language for the preliminary specification of logic programs. Research Report IIIA 95/13, Institut d'Investigació en Intel.ligència Artificial, Bellaterra, Catalonia.
34. 34. J. Treur & T. Wetter (eds) (1993) Formal Specification of Complex Reasoning Systems. Ellis Horwood, The Netherlands.
35. 35. A. W. Bowles, D. Robertson, W. W. Vasconcelos, M. Vargas-Vera & D. Bental (1994) Applying prolog programming techniques. International Journal of Human-Computer Studies 41, 329-350. Also as Research Paper 641, Dept of Artificial Intelligence, University of Edinburgh.
36. 36. J. Agustí, J. Puigsegur & W. M. Schorlemmer (1997) Towards specifying with inclusions. Mathware & Soft Computing.
37. 37. J. Puigsegur, J. Agustí & D. Robertson (1996) A visual logic programming language. In: Proceedings of the 12th IEEE Symposium on Visual Languages, Boulder, CO, September. IEEE Computer Society Press, Silver Spring, MD.