{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:55:37Z","timestamp":1761486937085},"reference-count":57,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3796,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1016\/s0004-3702(02)00383-1","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T22:33:30Z","timestamp":1049495610000},"page":"181-226","source":"Crossref","is-referenced-by-count":34,"title":["Diagram processing: Computing with diagrams"],"prefix":"10.1016","volume":"145","author":[{"given":"Michael","family":"Anderson","sequence":"first","affiliation":[]},{"given":"Robert","family":"McCartney","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(02)00383-1_BIB001","series-title":"Proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation (Fourth Conference on Situation Theory and its Applications), Moraga, CA","article-title":"Reasoning with diagram sequences","author":"Anderson","year":"1994"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB002","series-title":"Reasoning with Diagrammatic Representations II, Papers from the 1997 Fall Symposium, Technical Report FS-97-03","year":"1997"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB003","unstructured":"M. Anderson, Inter-diagrammatic reasoning, Ph.D. Dissertation, University of Connecticut, Storrs, CT, 1997"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB004","series-title":"Proc. AAAI-99, Orlando, FL","first-page":"394","article-title":"Toward diagram processing: A diagrammatic information system","author":"Anderson","year":"1999"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB005","series-title":"Smart Graphics, Papers from the 2000 Spring Symposium, Technical Report SS-00-04","first-page":"109","article-title":"Diagrammatic reasoning and mathematical morphology","author":"Anderson","year":"2000"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB006","series-title":"Proceedings of the First International Symposium on Smart Graphics","first-page":"1","article-title":"Mining diagrams","author":"Anderson","year":"2001"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB007","series-title":"Formalization of Reasoning with Visual and Diagrammatic Representations, Papers from the 1998 Fall Symposium, Technical Report FS-98-04","first-page":"13","article-title":"Diagrammatic reasoning and color","author":"Anderson","year":"1998"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB008","series-title":"Proceedings of the Second International Symposium on Smart Graphics","article-title":"DiaSketches","author":"Anderson","year":"2002"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB009","series-title":"Theory and Application of Diagrams, First International Conference, Diagrams 2000","year":"2000"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB010","series-title":"Proceedings of the Tenth ACM Symposium on Applied Computing, Nashville, TN","first-page":"227","article-title":"Developing a heuristic via diagrammatic reasoning","author":"Anderson","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB011","series-title":"Proc. IJCAI-95, Montreal, Canada","first-page":"878","article-title":"Inter-diagrammatic reasoning","author":"Anderson","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB012","series-title":"Proc. AAAI-96, Portland, OR","first-page":"1004","article-title":"Diagrammatic reasoning and cases","author":"Anderson","year":"1996"},{"issue":"1","key":"10.1016\/S0004-3702(02)00383-1_BIB013","first-page":"57","article-title":"Learning from diagrams","volume":"6","author":"Anderson","year":"1997","journal-title":"J. Machine Vision and Graphics"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB014","series-title":"Diagrammatic Representation and Reasoning","year":"2002"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB015","series-title":"Visualization of Mathematics, MAA Notes No. 19","first-page":"9","article-title":"Visual information and valid reasoning","author":"Barwise","year":"1991"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB016","article-title":"Boolean algebra (the technique for manipulating \u2018and\u2019, \u2018or\u2019 and \u2018not\u2019 conditions) and applications to insurance","author":"Berkeley","year":"1937","journal-title":"The Record of the American Institute of Actuaries"},{"issue":"2","key":"10.1016\/S0004-3702(02)00383-1_BIB017","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1080\/00220973.1985.10806364","article-title":"The information content of picture-text instructions","volume":"53","author":"Bieger","year":"1985","journal-title":"J. Experimental Education"},{"issue":"4","key":"10.1016\/S0004-3702(02)00383-1_BIB018","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/00220973.1986.10806418","article-title":"Comprehending spatial and contextual information in picture-text instructions","volume":"54","author":"Bieger","year":"1986","journal-title":"J. Experimental Education"},{"issue":"4","key":"10.1016\/S0004-3702(02)00383-1_BIB019","doi-asserted-by":"crossref","first-page":"630","DOI":"10.1145\/179812.179818","article-title":"Linear approximation of shortest superstrings","volume":"41","author":"Blum","year":"1994","journal-title":"J. ACM"},{"issue":"2","key":"10.1016\/S0004-3702(02)00383-1_BIB020","first-page":"49","article-title":"Reasoning with diagrammatic representations","volume":"14","author":"Chandrasekaran","year":"1993","journal-title":"AI Magazine"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB021","series-title":"A Guide to the SQL Standard","author":"Date","year":"1989"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB022","unstructured":"L. Euler, Lettres a Une Princesse d'Allemagne, Vol. 2, 1761, Letters 102\u2013108"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB023","article-title":"A heuristic program to solve geometry analogy problems","volume":"46","author":"Evans","year":"1962","journal-title":"MIT AI Memo"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB024","series-title":"Working notes of AAAI Spring Symposium on Reasoning with Diagrammatic Representations","first-page":"118","article-title":"Reasoning with diagrams only","author":"Furnas","year":"1992"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB025","series-title":"A Study of Writing","author":"Gelb","year":"1963"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB026","series-title":"Proceedings of an International Conference on Information Processing","first-page":"273","article-title":"Realization of a geometry theorem proving machine","author":"Gelernter","year":"1959"},{"issue":"4","key":"10.1016\/S0004-3702(02)00383-1_BIB027","doi-asserted-by":"crossref","DOI":"10.1111\/j.1467-8640.1993.tb00224.x","article-title":"The imagery debate revisited: A computational perspective","volume":"9","author":"Glasgow","year":"1993","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB028","series-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB029","unstructured":"J. Gu, Parallel algorithms and architectures for very fast AI search, Ph.D. Dissertation, University of Utah, Salt Lake City, UT, 1989"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB030","series-title":"Logic and Visual Information","author":"Hammer","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB031","series-title":"Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002","article-title":"Corresponding regions in Euler diagrams","author":"Howse","year":"2002"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB032","series-title":"Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002","year":"2002"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB033","series-title":"Mathematical Reasoning with Diagrams: From Intuition to Automation","author":"Jamnik","year":"2001"},{"issue":"7","key":"10.1016\/S0004-3702(02)00383-1_BIB034","article-title":"Exact and approximate algorithms for the sequence reconstruction problem","volume":"13","author":"Kececioglu","year":"1995","journal-title":"Algorithmica"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB035","series-title":"Case-based Reasoning","author":"Kolodner","year":"1993"},{"issue":"1","key":"10.1016\/S0004-3702(02)00383-1_BIB036","volume":"6","year":"1997","journal-title":"J. Machine Vision and Graphics"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB037","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","article-title":"Why a diagram is (sometimes) worth ten thousand words","volume":"11","author":"Larkin","year":"1987","journal-title":"Cognitive Sci."},{"key":"10.1016\/S0004-3702(02)00383-1_BIB038","series-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","first-page":"15","article-title":"Knowing about Diagrams","author":"Lindsay","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB039","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0957-4174(93)90015-X","article-title":"Episodic cases and real-time performance in a case-based planning system","volume":"6","author":"McCartney","year":"1993","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB040","series-title":"Machine Learning","author":"Mitchell","year":"1997"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB041","series-title":"Working notes of AAAI Spring Symposium on Reasoning with Diagrammatic Representations","year":"1992"},{"issue":"4","key":"10.1016\/S0004-3702(02)00383-1_BIB042","article-title":"Taking issue\/Forum: The imagery debate revisited","volume":"9","author":"Narayanan","year":"1993","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB043","series-title":"Proc. IJCAI-91, Sydney, Australia","article-title":"Reasoning visually about spatial interactions","author":"Narayanan","year":"1991"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB044","series-title":"Collected Papers","author":"Pierce","year":"1933"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB045","unstructured":"L. Purvis, Constraint satisfaction combined with case-based reasoning for assembly sequence planning, Technical Report CSE-TR-93-20, University of Connecticut, Storrs, CT, 1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB046","series-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","article-title":"Imagery and mental models","author":"Qin","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB047","series-title":"Handbook of Computer Vision Algorithms in Image Algebra","author":"Ritter","year":"1996"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB048","series-title":"Image Analysis and Mathematical Morphology, Vol. 1","author":"Serra","year":"1982"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB049","series-title":"Image Analysis and Mathematical Morphology, Vol. 2","author":"Serra","year":"1988"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB050","series-title":"Diagrammatic Representation and Reasoning","article-title":"Graph comprehension: The role of format, content and individual differences","author":"Shah","year":"2002"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB051","series-title":"The Logical Status of Diagrams","author":"Shin","year":"1994"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB052","series-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","article-title":"Musings on the roles of logical and non-logical representations in intelligence","author":"Sloman","year":"1995"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB053","series-title":"Diagrammatic Representation and Reasoning","article-title":"Diagrams in the Mind?","author":"Sloman","year":"2002"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB054","unstructured":"H.S. Stone, J. Stone, Efficient search techniques: An empirical study of the n-queens problem, Technical Report RC 12057, IBM T.J. Watson Research Center, Yorktown Heights, NY, 1986"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB055","series-title":"Symbolic Logic","author":"Venn","year":"1894"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB056","series-title":"The Psychology of Illustration","author":"Willows","year":"1987"},{"key":"10.1016\/S0004-3702(02)00383-1_BIB057","series-title":"Color Science","author":"Wyszecki","year":"1982"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202003831?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202003831?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T19:13:54Z","timestamp":1584472434000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370202003831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":57,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["S0004370202003831"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(02)00383-1","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}