Constraint diagram reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1713, Issue , 1999, Pages 316-331

  Meyer, Bernd ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; HUMAN COMPUTER INTERACTION;

CONSTRAINT DIAGRAMS; CONSTRAINT SOLVERS; CONSTRAINT-BASED; DIAGRAM RECOGNITION; DIAGRAMMATIC REASONING; HUMAN COMPUTER INTERFACES; INTELLIGENT BEHAVIOR; VENN DIAGRAMS;

COMPUTATIONAL LINGUISTICS;

EID: 84957379224     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48085-3_23     Document Type: Conference Paper

References (26)

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