{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T06:11:36Z","timestamp":1744697496052},"reference-count":32,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1016\/0004-3702(93)90177-d","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"115-123","source":"Crossref","is-referenced-by-count":31,"title":["Qualitative process theory: twelve years after"],"prefix":"10.1016","volume":"59","author":[{"given":"Kenneth D.","family":"Forbus","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(93)90177-D_BIB1","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(91)90113-X","article-title":"Dynamic across-time measurement interpretation","volume":"51","author":"DeCoste","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90177-D_BIB2","article-title":"Causal and teleological reasoning in circuit recognition","author":"de Kleer","year":"1979"},{"key":"10.1016\/0004-3702(93)90177-D_BIB3","series-title":"Mental Models","article-title":"Assumptions and ambiguities in mechanistic mental models","author":"de Kleer","year":"1983"},{"key":"10.1016\/0004-3702(93)90177-D_BIB4","series-title":"Computational Models of Scientific Discovery and Theory Formation","article-title":"A unified approach to explanation and theory formation","author":"Falkenhainer","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB5","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90177-D_BIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(89)90077-5","article-title":"The structure-mapping engine: algorithm and examples","volume":"41","author":"Falkenhainer","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90177-D_BIB7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(90)90099-L","article-title":"Qualitative kinematics in mechanisms","volume":"44","author":"Faltings","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90177-D_BIB8","series-title":"Proceedings AAAI-80","article-title":"Spatial and qualitative aspects of reasoning about motion","author":"Forbus","year":"1980"},{"key":"10.1016\/0004-3702(93)90177-D_BIB9","series-title":"Proceedings IJCAI-81","article-title":"Qualitative reasoning about physical processes","author":"Forbus","year":"1981"},{"key":"10.1016\/0004-3702(93)90177-D_BIB10","series-title":"Mental Models","article-title":"Qualitative reasoning about space and motion","author":"Forbus","year":"1983"},{"issue":"3","key":"10.1016\/0004-3702(93)90177-D_BIB11","doi-asserted-by":"crossref","DOI":"10.1109\/TSMC.1987.4309052","article-title":"Interpreting observations of physical systems","volume":"17","author":"Forbus","year":"1987","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"10.1016\/0004-3702(93)90177-D_BIB12","series-title":"Proceedings IJCAI-89","first-page":"1273","article-title":"Introducing actions into qualitative simulation","author":"Forbus","year":"1989"},{"key":"10.1016\/0004-3702(93)90177-D_BIB13","series-title":"Proceedings AAAI-90","article-title":"Self-explanatory simulations: an integration of qualitative and quantitative knowledge","author":"Forbus","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB14","series-title":"Proceedings AAAI-92","article-title":"Self-explanatory simulations: scaling up to large models","author":"Forbus","year":"1992"},{"key":"10.1016\/0004-3702(93)90177-D_BIB15","article-title":"Learning physical domains: towards a theoretical framework","volume":"Vol. 2","author":"Forbus","year":"1986"},{"key":"10.1016\/0004-3702(93)90177-D_BIB16","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0004-3702(91)90116-2","article-title":"Qualitative spatial reasoning: the CLOCK project","volume":"51","author":"Forbus","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90177-D_BIB17","series-title":"Proceedings Third Annual Conference of the Cognitive Science Society","article-title":"Using qualitative simulation to generate explanations","author":"Forbus","year":"1981"},{"issue":"2","key":"10.1016\/0004-3702(93)90177-D_BIB18","doi-asserted-by":"crossref","DOI":"10.1207\/s15516709cog0702_3","article-title":"Structure-mapping: a theoretical framework for analogy","volume":"7","author":"Gentner","year":"1983","journal-title":"Cogn. Sci."},{"key":"10.1016\/0004-3702(93)90177-D_BIB19","series-title":"Expert Systems in the Micro-Electronic Age","article-title":"The naive physics manifesto","author":"Hayes","year":"1979"},{"key":"10.1016\/0004-3702(93)90177-D_BIB20","series-title":"Formal Theories of the Commonsense World","article-title":"Naive physics 1: ontology for liquids","author":"Hayes","year":"1985"},{"key":"10.1016\/0004-3702(93)90177-D_BIB21","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(73)90010-6","article-title":"Modeling simultaneous actions and continuous processes","volume":"4","author":"Hendrix","year":"1973","journal-title":"Artif. Intell."},{"issue":"2","key":"10.1016\/0004-3702(93)90177-D_BIB22","first-page":"15","article-title":"STEAMER: an interactive inspectable simulation-based training system","volume":"5","author":"Hollan","year":"1984","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(93)90177-D_BIB23","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1207\/s15327051hci0104_2","article-title":"Direct manipulation interfaces","volume":"1","author":"Hutchins","year":"1985","journal-title":"Human-Comput. Interaction"},{"key":"10.1016\/0004-3702(93)90177-D_BIB24","author":"Lenat","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB25_1","series-title":"Proceedings AAAI-88","article-title":"A qualitative approach to mechanical constraint","author":"Nielsen","year":"1988"},{"key":"10.1016\/0004-3702(93)90177-D_BIB25_2","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB26","series-title":"Computational Models of Scientific Discovery and Theory Formation","article-title":"An integrated approach to empirical discovery","author":"Nordhausen","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB27","series-title":"Computational Models of Scientific Discovery and Theory Formation","article-title":"Theory formation by abduction: a case study based on the chemical revolution","author":"O'Rorke","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB28","series-title":"Computational Models of Scientific Discovery and Theory Formation","article-title":"A computational approach to theory revision","author":"Rajamoney","year":"1990"},{"key":"10.1016\/0004-3702(93)90177-D_BIB29","series-title":"Proceedings IJCAI-77","article-title":"The declarative representation and procedural simulation of causality in physical mechanisms","author":"Rieger","year":"1977"},{"key":"10.1016\/0004-3702(93)90177-D_BIB30","series-title":"Proceedings Eleventh Annual Conference of the Cognitive Science Society","article-title":"Qualitative and quantitative reasoning about thermodynamics","author":"Skorstad","year":"1989"},{"key":"10.1016\/0004-3702(93)90177-D_BIB31","article-title":"STEAMER: advanced computer-aided instruction in propulsion engineering","author":"Stevens","year":"1981","journal-title":"BBN Tech. Report"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029390177D?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029390177D?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T20:52:12Z","timestamp":1553633532000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029390177D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["000437029390177D"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(93)90177-d","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}