A constraint-based framework for diagrammatic reasoning

Applied Artificial Intelligence

Volumn 14, Issue 4, 2000, Pages 327-344

  Meyer, Bernd ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; GRAPHICAL USER INTERFACES; HUMAN COMPUTER INTERACTION; VISUAL COMMUNICATION;

CONSTRAINT-BASED FORMALISM;

ARTIFICIAL INTELLIGENCE;

EID: 0034175335     PISSN: 08839514     EISSN: None     Source Type: Journal    
DOI: 10.1080/088395100117025     Document Type: Article

References (25)

1. Abdennadher, S., and T. Frühwirth. 1998. On completion of constraint handling rules. In CP98: Int. Conf. on Principles and Practice of Constraint Programming, 26-30 October, Pisa, Italy.
2. Abdennadher, S., T. Frühwirth, and H. Meuss. 1996. On confluence of constraint handling rules. In CP96: Int. Conf. on Principles and Practice of Constraint Programming, 19-22 August, Cambridge, Massachusetts.
3. Borning, A., K. Marriott, P. Stuckey, and Y. Xiao. 1997. Solving linear arithmetic constraints for user interface applications. In UIST'97: ACM Symp. on User Interface Software and Technology, 14-17 October, Banff, Canada.
4. Chok, S., and K. Marriott. 1998. Constructing user interfaces for pen-based computers. In FRVDR'98: AAAI Symp. on Formalizing Reasoning with Visual and Diagrammatic Representations, 23-25 October, Orlando, Florida.
5. Citrin, W., R. Hall, and B. Zorn. 1995. Programming with visual expressions. In VL95: IEEE WS on Visual Languages. 5-9 September, Darmstadt, Germany.
6. Cruz, I., K. Marriott, and P. van Hentenryck (Eds.), 1998. Guest Editor's Introduction Special issue on constraints, graphics and visualization. Constraints 3(1).
7. de Kleer, J. 1989. A comparison of assumption-based truth maintenance and constraint satisfaction. In Proc. Int. Joint Conf. on Artificial Intelligence.
8. Doyle, J. 1981. A truth maintenance system. In Readings in Artificial Intelligence, eds. B. Webber and N. Nilsson, Palo Alto: Tioga.
9. Frühwirth, T. 1998. Theory and practice of constraint handling rules. Journal of Logic Programming 37:95-138.
10. Gassmann, Z. 1998. A graphic meta-editor for the generation of syntax-oriented graph editors. Diploma thesis, University of Munich, Germany.
11. Haarslev, V. A fully formalized theory for describing visual notations. In Visual Language Theory, eds. K. Marriott and B. Meyer, Springer-Verlag, New York, 1998.
12. Helm, R., and K. Marriott. 1991. A declarative specification and semantics for visual languages. Journal of Visual Languages and Computing 2: 311-331.
13. Jaffar, J., and J. Lassez. 1994. Constraint logic programming: A survey. Journal of Logic Programming 19/20: 503-582.
14. Jussien, N., and P. Boizumault. 1996. Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems. In Over-Constrained Systems, eds. M. Jampel, E. Freuder and M. Mater, Berlin: Springer.
15. Marriott, K. 1994. Constraint multiset grammars. In VL94: IEEE Symp. on Visual Languages, 4-7 October, St. Louis, Missouri.
16. Marriott, K., B. Meyer, and K. Wittenburg. A survey of visual language specification and recognition. In Visual Language Theory, eds. K. Marriott and B. Meyer, Springer-Verlag, New York, 1998.
17. Meyer, B. 1997. Formalization of visual mathematical notations. In DR-II: AAAI Symp. on Diagrammatic Reasoning, 8-10 November, Cambridge, Massachusetts.
18. Meyer, B., and H. Zweckstetter. 1998. Interpretation of visual notations in the Recopla editor generator. In FRVDR'98 : AAAI Symp. on Formalizing Reasoning with Visual and Diagrammatic Representations, 23-25 October, Orlando, Florida.
19. Meyer, B., H. Zweckstetter, L. Mandel, and Z. Gassmann. 1999. Automatic construction of intelligent diagramming environments. In HCI'99: Int. Conf. on Human-Computer Interaction, 22-27 August, Munich, Germany.
20. Minas, M. 1995. DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In VL95 : IEEE WS on Visual Languages. 5-9 September, Darmstadt, Germany.
21. Moore, R. 1995. Semantical considerations of non-monotonic logic. Artificial Intelligence 25(1):75-94.
22. Pereira, F., and D. Warren. 1983. Parsing as deduction. In 21st Annual Meeting of the Association for Computational Linguistic, Cambridge, Massachusetts.
23. Shin, S.-J. 1995. The Logical Status of Diagrams. Cambridge: Cambridge University Press.
24. Sutherland, I. 1963. Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, 329-346.
25. Wittenburg, K. 1996. Predictive parsing for unordered relational languages. In Recent Advances in Parsing Technology, eds. H. Bunt and M. Tomita, Dordrecht: Kluwer.