Formalization of Visual Mathematical Notations

AAAI Fall Symposium - Technical Report

Volumn FS-97-03, Issue , 1997, Pages 58-68

  Meyer, Bernd ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL SPECIFICATION; MATHEMATICAL TRANSFORMATIONS;

CONSEQUENCE RELATIONS; CONSTRAINT-BASED; FORMAL SPECIFICATION TECHNIQUES; FORMALISATION; MATHEMATICAL NOTATIONS;

VISUAL LANGUAGES;

EID: 84957383844     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Allwein, G., and Barwise, J. 1993. Working papers on diagrams and logic. Technical Report IULG-93-24, Indiana University Logic Group, Visual Inference Laboratory.
2. Anderson, M. 1996. Diagrammatic reasoning and cases. In Thirteenth National Conference on Artificial Intelligence.
3. Barwise, J. 1993. Heterogeneous reasoning. In Allwein, G., and Barwise, J., eds., Working Papers on Diagrams and Logic. Bloomington: Indiana University. 251ft.
4. Bolognesi, T., and Latella, D. 1989. Techniques for the formal definition of the g-lotos syntax. In IEEE Workshop on Visual Languages, 43-49. Rom: IEEE Computer Society Press.
5. Borning, A.; Maher, M.; Martindale, A.; and Wilson, M. 1989. Constraint hierarchies and logic programming. In Levi, G., and Martelli, M., eds., International Conference on Logic Programming. MITPress. 149-164.
6. Bricken, W. M. 1988. An introduction to boundary logic with the losp deductive engine. Research report, University of Washington.
7. Chandrasekaran, B.; Narayanan, N. H.; and Iwasaki, Y. 1993. Reasoning with diagrammatic representations - a report on the spring symposium. AI-Magazine14(2):49-56.
8. Citrin, W.; Hall, R.; and Zorn, B. 1995. Programming with visual expressions. In IEEEWorkshopon Visual Languages, 294-301. Darmstadt, Germany: IEEE ComputerSociety Press.
9. Clarke, B. 1981. A calculus of individuals based on'conncection'. Notre DameJournal of Formal Logic 23(3):204-218.
10. Ferrucci, F.; Pacini, G.; Tortora, G.; Tucci, M.; and Vitiello, G. 1991. Efficient parsing of multidimensional structures. In IEEEWorkshopon Visual Languages, 105-110. Kobe/Japan: IEEE Computer Society Press.
11. Gooday, J., and Cohn, A. 1996. Using spatial logic to describe visual programminglanguages. Artificial Intelligence Review 10:171-186.
12. Haarslev, V. 1997. A fully formalized theory for describing visual notations. In Marriott, K., and Meyer, B., eds., Theory of Visual Languages. Springer-Verlag. Forthcoming.
13. Hammer, E., and Danner, N. 1993. Towards a model theory of diagrams. In Allwein, G., and Barwise, J., eds., Working Papers on Diagrams and Logic. Bloomington: Indiana University.
14. Hammer, E. 1993. Representing relations diagrammatically. In Allwein, G., and Barwise, J., eds., Working Papers on Diagramsand Logic. Bloomington: Indiana University.
15. Harel, D. 1988. On visual formalisms. Communications of the ACM31(5):514-530.
16. Helm, R.; Huynh, T.; Marriott, K.; and Vlissides, J. 1995. Anobject-oriented architecture for constraint-based graphical editing. In Object-Oriented Programming for Graphics. NewYork: Springer-Verlag.
17. Jampel, M.; Freuder, E.; and Maher, M., eds. 1996. Over-Constrained Systems. Springer.
18. Kahn, K. M., and Saraswat, V. A. 1990. Complete visualizations of concurrent programs and their execution. In IEEE Workshop on Visual Languages, 7-15. Skokie/IL: IEEE Computer Society Press.
19. Kamada, T., and Kawai, S. 1991. A general framework for visualizing abstract objects and relations. ACMTransactions on Graphics 10(1).
20. Keenan, D. 1995. To dissect a mockingbird: A graphical notation for the lambda calculus with animated reduction. Technical report, Smalltalk Computing.
21. Marriott, K.; Meyer, B.; and Wittenburg, K. 1997. A survey of visual language specification and recognition. In Marriott, K., and Meyer, B., eds., Theory of Visual Languages. Springer-Verlag. Forthcoming.
22. Marriott, K. 1994. Constraint multiset grammars. In IEEE Symposium on Visual Languages. St. Louis/MO: IEEE Computer Society Press.
23. Meyer, B. 1992. Pictures depicting pictures - on the specification of visual languages by visual grammars. In IEEE Workshop on Visual Languages, 41-47. Seattle/WA: IEEE Computer Society Press.
24. Meyer, B. 1993. Logic and the structure of space: Towards a visual logic for spatial reasoning. In Miller, D., ed., International Symposiumon Logic Programming. Vancouver: MITPress.
25. Meyer, t3. 1994. Visual Logic Languages for Spatial Information Handling (in German). Doctoral thesis, FernUni Hagen.
26. Nelsen, R. B. 1993. Proofs without Words. Washington/DC: The Mathematical Association of America.
27. Older, W., and VeUino, A. 1990. Extending prolog with constraint arithmetic on real intervals. In Canadian Conference on Electrical and Computer Engineering.
28. Shin, S.-J. 1995. The Logical Status of Diagrams. Cambridge/MA: Cambridge University Press.
29. Takahashi, S.; Miyashita, K.; Matsuoka, S.; and Yonezawa, A. 1994. A framework for constructing animations via declarative mapping rules. In IEEE Symposiumon Visual Languages, 314-322.
30. Tanaka, T. 1991. Definite clause set grammars: A formalism for problem solving. Journal of Logic Programming 10:1-17.
31. Wilson, M., and Borning, A. 1993. Hierarchical constraint logic programming.Journal of Logic Programming 16(3 &4):277-318.