{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T04:21:24Z","timestamp":1773462084559,"version":"3.50.1"},"reference-count":97,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"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":4282,"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":[[2001,12]]},"DOI":"10.1016\/s0004-3702(01)00143-6","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T13:01:41Z","timestamp":1034600501000},"page":"139-188","source":"Crossref","is-referenced-by-count":41,"title":["Reasoning about nonlinear system identification"],"prefix":"10.1016","volume":"133","author":[{"given":"Elizabeth","family":"Bradley","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Easley","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Stolle","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(01)00143-6_BIB001","series-title":"Analysis of Observed Chaotic Data","author":"Abarbanel","year":"1995"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB002","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0898-1221(90)90207-Z","article-title":"The bifurcation interpreter: A step towards the automatic analysis of dynamical systems","volume":"20","author":"Abelson","year":"1990","journal-title":"Internat. J. Comput. Math. Appl."},{"key":"10.1016\/S0004-3702(01)00143-6_BIB003","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(91)90110-6","article-title":"Graphs of models","volume":"51","author":"Addanki","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB004","series-title":"Automated qualitative modeling of dynamic physical systems, Ph.D. Thesis","author":"Amsterdam","year":"1992"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB005","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0005-1098(71)90059-8","article-title":"System identification\u2014A survey","volume":"7","author":"Astrom","year":"1971","journal-title":"Automatica"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB006","series-title":"UCPOP User's Manual (version 4.0)","author":"Barrett","year":"1995"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB007","series-title":"Proc. 5th International Workshop on Metaprogramming, Metareasoning in Logic (META-96), Bonn, Germany","first-page":"27","article-title":"Meta-programming for generalized Horn clause logic","author":"Beckstein","year":"1996"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB008","series-title":"Proc. 4th International Workshop on Logic Programming Environments, Washington, DC","first-page":"16","article-title":"Evolutionary logic programming with RISC","author":"Beckstein","year":"1992"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB009","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008633100749","article-title":"Algorithmic debugging and hypothetical reasoning","volume":"4","author":"Beckstein","year":"1997","journal-title":"J. Automat. Software Engineering"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB010","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1080\/00423119508969081","article-title":"Damper models for heavy vehicle ride dynamics","volume":"24","author":"Besinger","year":"1997","journal-title":"Vehicle System Dynamics"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB011","series-title":"User's reference guide for odrpack\u2014Software for weighted orthogonal distance regression","author":"Boggs","year":"1991"},{"issue":"6","key":"10.1016\/S0004-3702(01)00143-6_BIB012","doi-asserted-by":"crossref","first-page":"1052","DOI":"10.1137\/0908085","article-title":"A stable and efficient algorithm for nonlinear orthogonal distance regression","volume":"8","author":"Boggs","year":"1987","journal-title":"SIAM J. Sci. Statist. Comput."},{"key":"10.1016\/S0004-3702(01)00143-6_BIB013","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1080\/01969729508927509","article-title":"Autonomous exploration and control of chaotic systems","volume":"26","author":"Bradley","year":"1995","journal-title":"Cybernetics and Systems"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB014","series-title":"Intelligent Data Analysis: An Introduction","article-title":"Time-series analysis","author":"Bradley","year":"2000"},{"issue":"2","key":"10.1016\/S0004-3702(01)00143-6_BIB015","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S1088-467X(98)00019-5","article-title":"Reasoning about sensor data for automated system identification","volume":"2","author":"Bradley","year":"1998","journal-title":"Intelligent Data Analysis"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB016","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/A:1018972409754","article-title":"Global solutions for nonlinear systems using qualitative reasoning","volume":"23","author":"Bradley","year":"1998","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB017","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02284622","article-title":"Automatic construction of accurate models of physical systems","volume":"17","author":"Bradley","year":"1996","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB018","series-title":"Proc. 33rd IEEE Conference on Decision & Control, Lake Buena Vista, FL","first-page":"4228","article-title":"A unified framework for hybrid control","author":"Branicky","year":"1994"},{"issue":"4","key":"10.1016\/S0004-3702(01)00143-6_BIB019","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1029\/WR002i004p00697","article-title":"Inertial and storage effects in well-aquifer systems","volume":"2","author":"Bredehoeft","year":"1966","journal-title":"Water Resource Research"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB020","series-title":"Modern Control Theory","author":"Brogan","year":"1991"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB021","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/5326.704564","article-title":"Automated mathematical modeling from experimental data: An application to material science","volume":"28","author":"Capelo","year":"1998","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0004-3702(01)00143-6_BIB022","series-title":"PRODIGY 4.0: The manual and tutorial","author":"Carbonell","year":"1992"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB023","series-title":"Maple V Language Reference Manual","author":"Char","year":"1991"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB024","series-title":"Proc. ACM SIGMOD International Conference on Management of Data, Seattle, WA","article-title":"Changing the rules: Transformations for rule-based optimizers","author":"Cherniack","year":"1998"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB025","series-title":"Water-Resource Engineering","author":"Chin","year":"2000"},{"issue":"3","key":"10.1016\/S0004-3702(01)00143-6_BIB026","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","article-title":"Meta-rules: Reasoning about control","volume":"15","author":"Davis","year":"1980","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S0004-3702(01)00143-6_BIB027","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB028","volume":"51","year":"1991"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB029","doi-asserted-by":"crossref","first-page":"3483","DOI":"10.1103\/PhysRevA.26.3483","article-title":"Chaotic states and routes to chaos in the forced pendulum","volume":"26","author":"D'Humieres","year":"1982","journal-title":"Phys. Rev. A"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB030","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00962824","article-title":"Discovering dynamics: From inductive logic programming to machine discovery","volume":"4","author":"D\u017eeroski","year":"1995","journal-title":"J. Intelligent Inform. Systems"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB031","series-title":"Automating input-output modeling of dynamic physical systems, Ph.D. Thesis","author":"Easley","year":"2000"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB032","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"1047","article-title":"Generalized physical networks for model building","author":"Easley","year":"1999"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB033","series-title":"Proc. 3rd International Symposium on Intelligent Data Analysis (IDA-99), Amsterdam","first-page":"343","article-title":"Reasoning about input-output modeling of dynamical systems","author":"Easley","year":"1999"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB034","series-title":"Proc. Smart Engineering System Design (ANNIE 00)","first-page":"165","article-title":"Meta-domains for automated system identification","author":"Easley","year":"2000"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB035","series-title":"Proc. AAAI-96, Portland, OR","first-page":"614","article-title":"Scaling up logic-based truth maintenance systems via fact garbage collection","author":"Everett","year":"1996"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB036","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0004-3702(91)90109-W","article-title":"Compositional modeling: Finding the right model for the job","volume":"51","author":"Falkenhainer","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB037","series-title":"Proc. IJCAI-97, Nagoya, Japan","first-page":"392","article-title":"Local consistency for ternary numeric constraints","author":"Faltings","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB038","series-title":"Recent Advances in Qualitative Physics","year":"1992"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB039","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"Qualitative process theory","volume":"24","author":"Forbus","year":"1984","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(01)00143-6_BIB040","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/TSMC.1987.4309052","article-title":"Interpreting observations of physical systems","volume":"17","author":"Forbus","year":"1987","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0004-3702(01)00143-6_BIB041","series-title":"CRC Computer Science and Engineering Handbook","article-title":"Qualitative reasoning","author":"Forbus","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB042","series-title":"World Dynamics","author":"Forrester","year":"1971"},{"issue":"1","key":"10.1016\/S0004-3702(01)00143-6_BIB043","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(86)90002-6","article-title":"Negation as inconsistency I","volume":"3","author":"Gabbay","year":"1986","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB044","series-title":"Proc. IJCAI-79, Tokyo, Japan","first-page":"S.1, S.6","article-title":"Controlling knowledge deduction in a declarative approach","author":"Gallaire","year":"1979"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB045","series-title":"Logic Programming","first-page":"173","article-title":"Metalevel control for logic programs","author":"Gallaire","year":"1982"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB046","series-title":"Classical Mechanics","author":"Goldstein","year":"1980"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB047","series-title":"Courteous logic programs: Prioritized conflict handling for rules","author":"Grosof","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB048","series-title":"Principles of Tribology","year":"1978"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB049","series-title":"Dynamic Modeling","author":"Hannon","year":"1995"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB050","series-title":"Standard Instrument Control Library Reference Manual","year":"1996"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB051","series-title":"The G\u00f6del Programming Language","author":"Hill","year":"1994"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB052","series-title":"Putting declarative meta control to work. Technical Report CU-CS-856-98, University of Colorado at Boulder","author":"Hogan","year":"1998"},{"issue":"1","key":"10.1016\/S0004-3702(01)00143-6_BIB053","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1115\/1.2802442","article-title":"Verification of a wheeled mobile robot dynamic model and control ramifications","volume":"131","author":"Hong","year":"1999","journal-title":"Dynamic Systems, Measurement, and Control"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB054","series-title":"Introduction to Global Optimization","volume":"3","author":"Horst","year":"1987"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB055","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1115\/1.3153816","article-title":"A theory of cell-to-cell mapping dynamical systems","volume":"47","author":"Hsu","year":"1980","journal-title":"J. Appl. Mech."},{"key":"10.1016\/S0004-3702(01)00143-6_BIB056","series-title":"Cell-to-Cell Mapping","author":"Hsu","year":"1987"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB057","series-title":"Foundations of Intelligent Systems","first-page":"287","article-title":"Discovering empirical equations from robot-collected data","volume":"1325","author":"Huang","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB058","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: A survey","volume":"20","author":"Jaffar","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB059","series-title":"Applied System Identification","author":"Juang","year":"1994"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB060","series-title":"System Dynamics: A Unified Approach","author":"Karnopp","year":"1990"},{"issue":"3","key":"10.1016\/S0004-3702(01)00143-6_BIB061","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","article-title":"Qualitative simulation","volume":"29","author":"Kuipers","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB062","series-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"Kuipers","year":"1992"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB063","series-title":"Scientific Discovery: Computational Explorations of the Creative Process","year":"1987"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB064","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1080\/00423119508969082","article-title":"Preview control algorithms for the active suspension of an off-road vehicle","volume":"24","author":"Langlois","year":"1997","journal-title":"Vehicle System Dynamics"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB065","series-title":"Bond Graph Modeling and Simulations, ICBGM '97, Conference Proceedings, Phoenix, AZ","first-page":"149","article-title":"Reactive system dynamics: An extension of forrester's system dynamics using bond graph-like notations","author":"LeF\u00e8vre","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB066","series-title":"System Identification: Theory for the User","year":"1987"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB067","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB068","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","article-title":"Clausal intuitionistic logic I. Fixed-point semantics","volume":"5","author":"McCarty","year":"1988","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB069","series-title":"The Art of Modeling Dynamic Systems","author":"Morrison","year":"1991"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB070","series-title":"Proc. IJCAI-97, Nagoya, Japan","article-title":"Formal specifications for hybrid dynamical systems","author":"Mosterman","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB071","series-title":"Proc. AAAI-96, Portland, OR","first-page":"985","article-title":"A formal hybrid modeling scheme for handling discontinuities in physical system models","author":"Mosterman","year":"1996"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB072","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","article-title":"Remote agent: To boldly go where no AI system has gone before","volume":"103","author":"Muscettola","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB073","series-title":"Automated Modeling of Physical Systems","volume":"1003","author":"Nayak","year":"1995"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB074","series-title":"Analysis and Design of Engineering Systems","author":"Paynter","year":"1961"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB075","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/15042.15043","article-title":"The revised3 report on the algorithmic language Scheme","volume":"21","author":"Rees","year":"1986","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB076","series-title":"Linear System Fundamentals","author":"Reid","year":"1983"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB077","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1088\/0951-7715\/11\/4\/009","article-title":"Computing connectedness: An exercise in computational topology","volume":"11","author":"Robins","year":"1998","journal-title":"Nonlinearity"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB078","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/S0167-2789(99)00228-6","article-title":"Computing connectedness: Disconnectedness and discreteness","volume":"139","author":"Robins","year":"2000","journal-title":"Physica D"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB079","series-title":"Physical Networks","author":"Sanford","year":"1965"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB080","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/BF01053745","article-title":"Embedology","volume":"65","author":"Sauer","year":"1991","journal-title":"J. Statist. Phys."},{"key":"10.1016\/S0004-3702(01)00143-6_BIB081","series-title":"Mathematical Control Theory","author":"Sontag","year":"1998"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB082","series-title":"The Art of PROLOG","author":"Sterling","year":"1986"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB083","series-title":"Integrated multimodal reasoning for modeling of physical systems, Ph.D. Thesis","author":"Stolle","year":"1998"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB084","series-title":"Proc. 10th International Workshop on Qualitative Reasoning (QR-96), Stanford Sierra Camp, CA","article-title":"A customized logic paradigm for reasoning about models","author":"Stolle","year":"1996"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB085","series-title":"Proc. AAAI-98, Madison, WI","first-page":"181","article-title":"Multimodal reasoning for automatic model construction","author":"Stolle","year":"1998"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB086","series-title":"Nonlinear Dynamics and Chaos","author":"Strogatz","year":"1994"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB087","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","article-title":"CONSTRAINTS\u2014A language for expressing almost hierarchical descriptions","volume":"14","author":"Sussman","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB088","series-title":"Proc. 14th International Conference on Machine Learning (ICML-97), San Francisco, CA","first-page":"376","article-title":"Declarative bias in equation discovery","author":"Todorovski","year":"1997"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB089","series-title":"Proc. IJACI-91, Sydney, Australia","article-title":"Computational and physical causality","author":"Top","year":"1991"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB090","series-title":"Global Optimization","volume":"350","author":"Torn","year":"1995"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB091","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"772","article-title":"Discovering admissible model equations from observed data based on scale-types and identity constraints","author":"Washio","year":"1999"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB092","series-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB093","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90029-W","article-title":"Reasoning about model accuracy","volume":"56","author":"Weld","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB094","series-title":"Proc. AAAI-98, Madison, WI","article-title":"Decompositional, model-based learning and its analogy to diagnosis","author":"Williams","year":"1998"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB095","series-title":"KAM: A System for Intelligently Guiding Numerical Experimentation by Computer","author":"Yip","year":"1991"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB096","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF01530794","article-title":"Computational dynamics: Modeling and visualizing trajectory flows in phase space","volume":"8","author":"Zhao","year":"1993","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00143-6_BIB097","series-title":"Proc. Conference on Creativity, Edinburgh","article-title":"Model construction: Elements of a computational mechanism","author":"Zytkow","year":"1999"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201001436?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201001436?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T12:27:00Z","timestamp":1555849620000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370201001436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":97,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["S0004370201001436"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(01)00143-6","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}