{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T05:42:36Z","timestamp":1741153356476,"version":"3.38.0"},"publisher-location":"London","reference-count":57,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852332426"},{"type":"electronic","value":"9781447101093"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-1-4471-0109-3_23","type":"book-chapter","created":{"date-parts":[[2011,3,24]],"date-time":"2011-03-24T01:03:57Z","timestamp":1300928637000},"page":"411-429","source":"Crossref","is-referenced-by-count":1,"title":["Intelligent Diagrammatic Interfaces: State of the Art"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Meyer","sequence":"first","affiliation":[]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Ah-Soon, C. (1998). A constraint network for symbol detection in architectural drawings. In K. Tombre and A. Chhabra (Eds), Graphics Recognition: Algorithms and systems, Vol. 1389 of LNCS. Berlin: Springer, pp. 80\u201390.","DOI":"10.1007\/3-540-64381-8_41"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Baird, H. (1990). Industrial applications. In H. Bunke and A. Sanfeliu (Eds), Syntactic and structural pattern recognition: Theory and applications. World Scientific, pp. 369\u2013380.","DOI":"10.1142\/9789812814913_0013"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/BFb0013063","volume-title":"Logic programming and automated reasoning. LNAI","author":"S Baker","year":"1992","unstructured":"Baker, S., Ireland, A. and Smaill, A. (1992). On the use of the constructive omega rule within automated deduction. In A. Voronkov (Ed.), Logic programming and automated reasoning. LNAI 624. Berlin: Springer, pp. 214\u2013225."},{"key":"23_CR4","unstructured":"Barker-Plummer, D. and Bailin, S. (1992). Proving the diamond lemma with the GROVER theorem proving system. In AAAI symposium on reasoning with diagrammatic representations."},{"key":"23_CR5","first-page":"3","volume-title":"Logical reasoning with diagrams","author":"J Barwise","year":"1996","unstructured":"Barwise, J. and Etchemendy, J. (1996). Visual information and valid reasoning. In G. Allwein and J. Barwise (Eds), Logical reasoning with diagrams. Oxford: Oxford University Press, pp. 3\u201326."},{"key":"23_CR6","unstructured":"Borning, A., Marriott, K., Stuckey, P. and Xiao, Y. (1997). Solving linear arithmetic constraints for user interface applications. In UIST\u201997: ACM symposium on user interface software and technology."},{"key":"23_CR7","unstructured":"Brachman, R.J. and Schmolze, J.G. (1985). An overview of KL-ONE knowledge representation systems. Cognitive Science August:171\u2013216."},{"key":"23_CR8","volume-title":"M.F., Levialdi, S. and Batini, C","author":"TC Catarci","year":"1997","unstructured":"Catarci, T. Costabile, M.F., Levialdi, S. and Batini, C. (1997). Visual query systems for databases: A survey. Journal of Visual Languages and Computing"},{"key":"23_CR9","first-page":"242","volume-title":"Automatic construction of user interfaces from constraint multiset grammars. In IEEE symposium on visual languages. Los Alamitos","author":"S Chok","year":"1995","unstructured":"Chok, S. and Marriott, K. (1995). Automatic construction of user interfaces from constraint multiset grammars. In IEEE symposium on visual languages. Los Alamitos, CA: IEEE Computer Society Press, pp. 242\u2013250."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Chok, S. and Marriott, K. (1998a). Automatic construction of intelligent diagram editors. In Proceedings of the 11th ACM symposium on user interface software and technology, pp. 185\u2013194.","DOI":"10.1145\/288392.288603"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Chok, S. and Marriott, K. (1998b). Automatic construction of intelligent diagram editors. In Proceedings of the 11th ACM symposium on user interface software and technology.","DOI":"10.1145\/288392.288603"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"23","author":"B Clarke","year":"1981","unstructured":"Clarke, B. (1981). A calculus of individuals based on connection. Notre Dame Journal of Formal Logic 23(3):204\u2013218.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B Clarke","year":"1985","unstructured":"Clarke, B. (1985). Individuals and points. Notre Dame Journal of Formal Logic 26(1):61\u201375.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-56869-7_16","volume-title":"International symposium on advances in spatial databases (SSD\u201993)","author":"E Clementini","year":"1993","unstructured":"Clementini, E., DiFelice, P. and van Oosterom, P. (1993). A small set of formal topological relationships suitable for end-user interaction. In D. Abel and B. Ooi (Eds), International symposium on advances in spatial databases (SSD\u201993), Singapore, June, pp. 277\u2013295."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Cohn, A.G. (1997). Qualitative spatial representation and reasoning techniques. In K\u00fcnstliche Intelligenz 1997 (KI\u201997). LNAI 1303. Springer, pp. 1\u201330.","DOI":"10.1007\/3540634932_1"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-1-4612-1676-6_5","volume-title":"Visual language theory","author":"G Costagliola","year":"1998","unstructured":"Costagliola, G., De Lucia, A., Orefice, S. and Tortora, G. (1998). Positional grammars: Theory and practice in a visual language for interface modelling. In K. Marriott and B. Meyer (Eds), Visual language theory. New York: Springer, pp. 171\u2013191."},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-1-4612-1676-6_12","volume-title":"Visual language theory","author":"T Dinesh","year":"1998","unstructured":"Dinesh, T. and Usk\u00fcdarli, S. (1998). Input and output for specified visual languages. In K. Marriott and B. Meyer (Eds), Visual language theory. New York: Springer, pp. 325\u2013351."},{"key":"23_CR18","unstructured":"Egenhofer, M. (1996). Spatial-query-by-sketch. In IEEE sypmosium on visual languages, pp. 170\u2013177."},{"issue":"2","key":"23_CR19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M Egenhofer","year":"1991","unstructured":"Egenhofer, M. and Franzosa, R. (1991). Point-set topological spatial relations. International Journal of Geographical Information Systems 5(2):161\u2013174.","journal-title":"International Journal of Geographical Information Systems"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF00962238","volume":"3","author":"C Faloutsos","year":"1994","unstructured":"Faloutsos, C., Barber, R., Flickner, M., Hafner, J., Niblack, W., Petrovic, D. and Equitz, W. (1994). Efficient and effective querying by image content. Journal of Intelligent Information Systems 3:231\u2013262.","journal-title":"Journal of Intelligent Information Systems"},{"key":"23_CR21","unstructured":"Fumas, G. (1990). Formal models for imaginal deduction. In Twelfth annual conference of the Cognitive Science Society. Hillsdale, NJ: Erlbaum, pp. 662\u2013669."},{"key":"23_CR22","first-page":"71","volume-title":"New graphical reasoning models for understanding graphical interfaces. In Proceedings of the ACM conference on human factors in computing systems (CHI)","author":"G Fumas","year":"1991","unstructured":"Fumas, G. (1991). New graphical reasoning models for understanding graphical interfaces. In Proceedings of the ACM conference on human factors in computing systems (CHI). New York: ACM Press, pp. 71\u201378."},{"key":"23_CR23","volume-title":"Reasoning with diagrams only","author":"G Fumas","year":"1992","unstructured":"Fumas, G. (1992). Reasoning with diagrams only. In AAAI spring symposium on reasoning with diagrammatic representations, Stanford."},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Futrelle, R. and Nikolakis, N. (1995). Efficient analysis of complex diagrams using constraint-based parsing. In Proceedings of the third international conference on document analysis and recognition (ICDAR), pp. 782\u2013790.","DOI":"10.1109\/ICDAR.1995.602019"},{"key":"23_CR25","unstructured":"Gelernter, H. (1963). Realization of a geometry theorem-proving machine. In E. Feigenbaum and J. Feldman (Eds), Computers and thought. New York: McGraw-Hill, pp. 134\u2013152.."},{"key":"23_CR26","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00127678","volume":"10","author":"J Gooday","year":"1996","unstructured":"Gooday, J. and Cohn, A. (1996). Using spatial logic to describe visual programming languages. Artificial Intelligence Review 10:171\u2013186.","journal-title":"Artificial Intelligence Review"},{"key":"23_CR27","volume-title":"Advanced visual interfaces (AVI)","author":"M Gross","year":"1994a","unstructured":"Gross, M. (1994a). Recognizing and interpreting diagrams in design. In T. Catarci, M. Costabile, S. Levialdi and G. Santucci (Eds), Advanced visual interfaces (AVI). New York: ACM Press."},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Gross, M. (1994b). Stretch-a-sketch: A dynamic diagrammer. In Proceedings of the 1994 IEEE symposium on visual languages. Los Alamitos, CA: IEEE Computer Society Press, pp. 232\u2013238:","DOI":"10.1109\/VL.1994.363613"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Gross, M. and Do, E.-L. (1996). Ambiguous intentions: a paper-like interface for creative design. In ACM 9th symposium on user interface software and technology (UIST). ACM Press, pp. 183\u2013192.","DOI":"10.1145\/237091.237119"},{"key":"23_CR30","unstructured":"Haarslev, V. (1998). A fully formalized theory for describing visual notations. In K. Marriott and B. Meyer (Eds), Visual language theory. New York: Springer, pp. 261\u2013192g."},{"key":"23_CR31","first-page":"201","volume-title":"Querying GIS with animated spatial sketches. In IEEE sypmosium on visual languages","author":"V Haarslev","year":"1997","unstructured":"Haarslev, V. and Wessel, M. (1997). Querying GIS with animated spatial sketches. In IEEE sypmosium on visual languages, Capri, Italy, pp. 201\u2013208."},{"key":"23_CR32","first-page":"513","volume-title":"Declarative graphics. In Proceedings of the 3rd international conference on logic programming, Vol. 225 of LNCS","author":"R Helm","year":"1986","unstructured":"Helm, R. and Marriott, K. (1986). Declarative graphics. In Proceedings of the 3rd international conference on logic programming, Vol. 225 of LNCS. New York: Springer, pp. 513\u2013527."},{"key":"23_CR33","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-79192-5_16","volume-title":"Object-oriented programming for graphics","author":"R Helm","year":"1995","unstructured":"Helm, R., Marriott, K., Huynh, T. and Vlissides, J. (1995). An object-oriented architecture for constraint-based graphical editing. In C. Laffra, E. Blake, V. de Mey and X. Pintado (Eds), Object-oriented programming for graphics. Berlin: Springer, pp. 217\u2013238."},{"key":"23_CR34","first-page":"168","volume-title":"Perspectives on cognitive science, Vol. 3. New Bulgarian University","author":"M Jamnik","year":"1997","unstructured":"Jamnik, M., Bundy, A. and Green, I. (1997). Automation of diagrammatic proofs in mathematics. In B. Kokinov (Ed.), Perspectives on cognitive science, Vol. 3. New Bulgarian University, pp. 168\u2013175."},{"key":"23_CR35","unstructured":"Karima, M., Sadhal, K. and McNeil, T. (1995). From paper drawings to computer aided design. IEEE Computer Graphics and Applications February:24\u201339."},{"key":"23_CR36","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-77281-8_14","volume-title":"Structured document image analysis","author":"R Kasturi","year":"1992","unstructured":"Kasturi, R., Raman, R., Chennubthotla, C. and O\u2019Gorman, L. (1992). An overview of techniques for graphics recognition. In H. Baird, H. Bunke, and K. Yamamoto (Eds), Structured document image analysis. Berlin: Springer, pp. 285\u2013324."},{"key":"23_CR37","volume-title":"International workshop on interfaces to database systems. LNCS","author":"T Kato","year":"1992","unstructured":"Kato, T. (1992). Cognitive view mechanism for multimedia information systems. In R. Cooper (Ed.), International workshop on interfaces to database systems. LNCS. New York: Springer."},{"key":"23_CR38","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-1-4613-1805-7_3","volume-title":"Visual languages","author":"F Lakin","year":"1986","unstructured":"Lakin, F. (1986). Spatial parsing for visual languages. In S.-K. Chang, T. Ichikawa and P.A. Ligomenides (Eds), Visual languages. New York: Plenum Press, pp. 35\u201385."},{"key":"23_CR39","unstructured":"Lakin, F. (1987). Visual grammars for visual languages. In AAAI-87, 7th national conference on AI, pp. 683\u2013688."},{"key":"23_CR40","doi-asserted-by":"crossref","unstructured":"Marriott, K. (1994). Constraint multiset grammars. In IEEE symposium on visual languages. Los Alamitos, CA: IEEE Computer Society Press, pp. 118\u2013125.","DOI":"10.1109\/VL.1994.363633"},{"key":"23_CR41","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-1-4612-1676-6_2","volume-title":"Visual language theory","author":"K Marriott","year":"1998","unstructured":"Marriott, K., Meyer, B. and Wittenburg, K. (1998). A survey of visual language specification and recognition. In K. Marriott and B. Meyer (Eds), Visual language theory. New York: Springer, pp. 5\u201385."},{"key":"23_CR42","first-page":"113","volume-title":"Interfaces to database systems","author":"B Meyer","year":"1992","unstructured":"Meyer, B. (1992). Beyond icons: Towards new metaphors for visual query languages for spatial information systems. In R. Cooper (Ed.), Interfaces to database systems. Glasgow: Springer, pp. 113\u2013135."},{"key":"23_CR43","first-page":"23","volume-title":"Pictorial deduction in spatial information systems. In International IEEE workshop on visual languages (VL\u201994), St Louis","author":"B Meyer","year":"1994","unstructured":"Meyer, B. (1994). Pictorial deduction in spatial information systems. In International IEEE workshop on visual languages (VL\u201994), St Louis, MO, October, pp. 23\u201330."},{"key":"23_CR44","first-page":"58","volume-title":"AAAI symposium on diagrammatic reasoning (DR-II), Boston, MA, November. AAAI Technical Report FS-97-02, AAAI Press","author":"B Meyer","year":"1997","unstructured":"Meyer, B. (1997). Formalization of visual mathematical notations. In M. Anderson (Ed.), AAAI symposium on diagrammatic reasoning (DR-II), Boston, MA, November. AAAI Technical Report FS-97\u201302, AAAI Press, pp. 97\u201302."},{"key":"23_CR45","unstructured":"Meyer, B. (1999). Constraint diagram reasoning. In Principles and practice of constraint programming: CP\u201999, Alexandria, VA, October. Berlin: Springer."},{"key":"23_CR46","doi-asserted-by":"crossref","unstructured":"Meyer, B. (2000). A constraint-based framework for diagrammatic reasoning. In Applied Artificial Intelligence (special issue on constraint handling rules) 14.","DOI":"10.1080\/088395100117025"},{"key":"23_CR47","first-page":"85","volume-title":"Specifying diagram animation with rewrite systems. In International workshop on theory of visual languages (TVL\u201997), Capri","author":"B Meyer","year":"1997","unstructured":"Meyer, B. and Marriott, K. (1997). Specifying diagram animation with rewrite systems. In International workshop on theory of visual languages (TVL\u201997), Capri, Italy, September, pp. 85\u201396."},{"key":"23_CR48","unstructured":"Meyer, B. and Zweckstetter, H. (1998). Interpretation of visual notations in the recopla editor generator. In FRVDR\u201998: AAAI fall symposium on formalizing reasoning with visual and diagrammatic representations, Orlando, FL, October. AAAI TR FS-98\u201304."},{"key":"23_CR49","unstructured":"Meyer, B., Zweckstetter, H., Mandel, L. and Gassmann, Z. (1999). Automatic construction of intelligent diagrammatic environments. In HCI\u201999: 8th international conference on human-computer interaction, Munich, Germany, August. Hillsdale, NJ: Erlbaum."},{"key":"23_CR50","first-page":"203","volume-title":"Diagen: A generator for diagram editors providing direct manipulation and execution of diagrams. In IEEE workshop on visual languages. Los Alamitos","author":"M Minas","year":"1995","unstructured":"Minas, M. and Viehstaedt, G. (1995). Diagen: A generator for diagram editors providing direct manipulation and execution of diagrams. In IEEE workshop on visual languages. Los Alamitos, CA: IEEE Computer Society Press, pp. 203\u2013210."},{"issue":"7","key":"23_CR51","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.144436","volume":"25","author":"G Nagy","year":"1992","unstructured":"Nagy, G., Seth, S. and Viswanathan, M. (1992). A prototype document image analysis system for technical journals. IEEE Computer 25(7):10\u201322.","journal-title":"IEEE Computer"},{"key":"23_CR52","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (Ed.)(1997). Handbook of graph grammars and computing by graph transformation. Singapore, World Scientific.","DOI":"10.1142\/3303"},{"key":"23_CR53","doi-asserted-by":"crossref","unstructured":"Schneider, M. (1999). Uncertainty management for spatial data in databases: Fuzzy spatial data types. In International symposium on advances in spatial databases (SSD\u201999), Hong Kong. LNCS 1651, pp. 330\u2013351. LNCS 1651.","DOI":"10.1007\/3-540-48482-5_20"},{"key":"23_CR54","doi-asserted-by":"crossref","unstructured":"Weitzman, L. and Wittenburg, K. (1993). Relational grammars for interactive design. In IEEE symposium on visual languages, pp. 4\u201311.","DOI":"10.1109\/VL.1993.269572"},{"key":"23_CR55","first-page":"170","volume-title":"VISCO: Bringing visual spatial querying to reality. In IEEE sypmosium on visual languages","author":"M Wessel","year":"1998","unstructured":"Wessel, M. and Haarslev, V. (1998). VISCO: Bringing visual spatial querying to reality. In IEEE sypmosium on visual languages, Halifax, Canada, pp. 170\u2013177."},{"key":"23_CR56","first-page":"111","volume-title":"Visual grammars and incremental parsing for interface languages. In IEEE symposium on visual languages. Los Alamitos","author":"K Wittenburg","year":"1990","unstructured":"Wittenburg, K. and Weitzman, L. (1990). Visual grammars and incremental parsing for interface languages. In IEEE symposium on visual languages. Los Alamitos, CA: IEEE Computer Society Press, pp. 111\u2013118."},{"key":"23_CR57","doi-asserted-by":"crossref","unstructured":"Yokokura, N. and Watanabe, T. (1998). Layout-based approach for extracting constructive elements of bar-charts. In K. Tombre, and A. Chhabra (Eds),","DOI":"10.1007\/3-540-64381-8_47"}],"container-title":["Diagrammatic Representation and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0109-3_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T17:18:07Z","timestamp":1741108687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0109-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781852332426","9781447101093"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0109-3_23","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}