{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:01:09Z","timestamp":1757610069814,"version":"3.44.0"},"reference-count":24,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T00:00:00Z","timestamp":1108684800000},"content-version":"vor","delay-in-days":4889,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1991,10]]},"DOI":"10.1016\/0004-3702(91)90111-v","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"179-221","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":22,"title":["Understanding complex dynamics by visual and symbolic reasoning"],"prefix":"10.1016","volume":"51","author":[{"given":"Kenneth Man-Kam","family":"Yip","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1978","author":"Arnold","key":"10.1016\/0004-3702(91)90111-V_BIB1"},{"year":"1978","author":"Baase","key":"10.1016\/0004-3702(91)90111-V_BIB2"},{"key":"10.1016\/0004-3702(91)90111-V_BIB3","series-title":"Computers and Thought","article-title":"Realization of a geometry-theorem proving machine","author":"Gelernter","year":"1963"},{"year":"1983","author":"Guckenheimer","key":"10.1016\/0004-3702(91)90111-V_BIB4"},{"key":"10.1016\/0004-3702(91)90111-V_BIB5","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1090\/qam\/253513","article-title":"Numerical study of quadratic area-preserving mappings","volume":"27","author":"Henon","year":"1969","journal-title":"Q. Appl. Math."},{"key":"10.1016\/0004-3702(91)90111-V_BIB6","doi-asserted-by":"crossref","DOI":"10.1086\/109234","article-title":"The applicability of the third integral of motion: some numerical experiments","volume":"69","author":"Henon","year":"1964","journal-title":"Astron. J."},{"key":"10.1016\/0004-3702(91)90111-V_BIB7","series-title":"Proceedings AAAI-88","article-title":"Non-intersection of trajectories in qualitative phase space","author":"Lee","year":"1988"},{"year":"1983","author":"Lichtenberg","key":"10.1016\/0004-3702(91)90111-V_BIB8"},{"article-title":"Renormalization in area preserving maps","year":"1982","author":"MacKay","key":"10.1016\/0004-3702(91)90111-V_BIB9"},{"issue":"6","key":"10.1016\/0004-3702(91)90111-V_BIB10","article-title":"Visualization in scientific computing","volume":"21","author":"McCormick","year":"1987","journal-title":"Comput. Graph."},{"key":"10.1016\/0004-3702(91)90111-V_BIB11","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-1970-0259289-X","article-title":"Generic bifurcations of periodic points","volume":"149","author":"Meyer","year":"1970","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1016\/0004-3702(91)90111-V_BIB12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","article-title":"Plane geometry theorem proving using forward chaining","volume":"6","author":"Nevins","year":"1975","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90111-V_BIB13","series-title":"Proceedings IJCAI-77","article-title":"Representations of knowledge in a program for solving physics problems","author":"Novak","year":"1977"},{"key":"10.1016\/0004-3702(91)90111-V_BIB14","article-title":"Generic bifurcations for involutionary area preserving maps","volume":"272","author":"Rimmer","year":"1983"},{"key":"10.1016\/0004-3702(91)90111-V_BIB15","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0004-3702(90)90047-4","article-title":"Automatic qualitative analysis of dynnamic systems using piecewise linear approximations","volume":"41","author":"Sacks","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90111-V_BIB16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90111-V_BIB17","series-title":"Proceedings AAAI-88","article-title":"Global filters for qualitative behaviors","author":"Struss","year":"1988"},{"issue":"11","key":"10.1016\/0004-3702(91)90111-V_BIB18","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1109\/TCS.1975.1083985","article-title":"Heuristic techniques in computer-aided circuit analysis","volume":"22","author":"Sussman","year":"1975","journal-title":"IEEE Trans. Circuits Syst."},{"key":"10.1016\/0004-3702(91)90111-V_BIB19","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1017\/S0022112090000465","article-title":"Resonantly excited regular and chaotic motions in a rectangular wave tank","volume":"216","author":"Tsai","year":"1990","journal-title":"J. Fluid Mech."},{"key":"10.1016\/0004-3702(91)90111-V_BIB20","series-title":"The Psychology of Computer Vision","article-title":"Understanding line drawings of scenes with shadows","author":"Waltz","year":"1975"},{"key":"10.1016\/0004-3702(91)90111-V_BIB21","series-title":"Proceedings IJCAI-83","article-title":"Scale-space filtering","author":"Witkin","year":"1983"},{"key":"10.1016\/0004-3702(91)90111-V_BIB22","series-title":"Proceedings AAAI-88","article-title":"Generating global behavior using deep knowledge of local dynamics","author":"Yip","year":"1988"},{"article-title":"KAM: automatic planning and interpretation of numerical experiments using geometrical methods","year":"1989","author":"Yip","key":"10.1016\/0004-3702(91)90111-V_BIB23"},{"key":"10.1016\/0004-3702(91)90111-V_BIB24","article-title":"Graph-theoretical methods for detecting and describing gestalt clusters","volume":"20","author":"Zahn","year":"1971","journal-title":"IEEE Trans. Comput."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029190111V?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029190111V?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T13:10:36Z","timestamp":1756905036000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029190111V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":24,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["000437029190111V"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(91)90111-v","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1991,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Understanding complex dynamics by visual and symbolic reasoning","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0004-3702(91)90111-V","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1991 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}