{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T09:55:43Z","timestamp":1772790943477,"version":"3.50.1"},"reference-count":20,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"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":3613,"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,10]]},"DOI":"10.1016\/s0004-3702(03)00077-8","type":"journal-article","created":{"date-parts":[[2003,7,7]],"date-time":"2003-07-07T09:47:57Z","timestamp":1057571277000},"page":"251-266","source":"Crossref","is-referenced-by-count":11,"title":["Sound and complete qualitative simulation is impossible"],"prefix":"10.1016","volume":"149","author":[{"given":"A.C.Cem","family":"Say","sequence":"first","affiliation":[]},{"given":"H.Levent","family":"Ak\u0131n","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(03)00077-8_BIB001","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0004-3702(97)00050-7","article-title":"Qualitative and quantitative simulation: Bridging the gap","volume":"95","author":"Berleant","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB002","series-title":"Readings in Qualitative Reasoning about Physical Systems","first-page":"220","article-title":"The qualitative process engine","author":"Forbus","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(03)00077-8_BIB003","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/21.141310","article-title":"Reasoning about energy in qualitative simulation","volume":"22","author":"Fouch\u00e9","year":"1992","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0004-3702(03)00077-8_BIB004","series-title":"Qualitative Reasoning: The Twelfth International Workshop, AAAI Technical Report WS-98-01","first-page":"155","article-title":"Extracting and using relative duration information in pure qualitative simulation","author":"K\u00f6nik","year":"1998"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB005","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(03)00077-8_BIB006","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(93)90179-F","article-title":"Qualitative simulation: Then and now","volume":"59","author":"Kuipers","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB007","series-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"Kuipers","year":"1994"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB008","series-title":"Encyclopedia of Physical Science and Technology","first-page":"287","article-title":"Qualitative simulation","author":"Kuipers","year":"2001"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB009","series-title":"Hilbert's Tenth Problem","author":"Matiyasevich","year":"1993"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB010","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/362637.362648","article-title":"Algebraic simplification: A guide for the perplexed","volume":"14","author":"Moses","year":"1971","journal-title":"Comm. ACM"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB011","series-title":"Proc. Fifth Turkish Symposium on Artificial Intelligence and Neural Networks, Istanbul, Turkey","first-page":"251","article-title":"Functions representable in pure QSIM","author":"Say","year":"1996"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB012","series-title":"Proc. Eleventh Internat. Workshop on Qualitative Reasoning, Cortona, Italy","first-page":"337","article-title":"Numbers representable in pure QSIM","author":"Say","year":"1997"},{"issue":"1","key":"10.1016\/S0004-3702(03)00077-8_BIB013","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/34.655645","article-title":"L'H\u00f4pital's filter for QSIM","volume":"20","author":"Say","year":"1998","journal-title":"IEEE Trans. Pattern Anal. Machine Intell."},{"issue":"5","key":"10.1016\/S0004-3702(03)00077-8_BIB014","first-page":"487","article-title":"Improved reasoning about infinity using qualitative simulation","volume":"20","author":"Say","year":"2001","journal-title":"Comput. and Inform."},{"key":"10.1016\/S0004-3702(03)00077-8_BIB015","series-title":"Proc. Sixteenth Internat. Workshop on Qualitative Reasoning, Sitges, Spain","first-page":"19","article-title":"Sound and complete qualitative simulation is impossible","author":"Say","year":"2002"},{"issue":"9","key":"10.1016\/S0004-3702(03)00077-8_BIB016","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/34.232085","article-title":"Improved filtering for the QSIM algorithm","volume":"15","author":"Say","year":"1993","journal-title":"IEEE Trans. Pattern Anal. Machine Intell."},{"key":"10.1016\/S0004-3702(03)00077-8_BIB017","series-title":"Proc. AAAI-88, Saint Paul, MN","first-page":"275","article-title":"Global filters for qualitative behaviors","author":"Struss","year":"1988"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB018","series-title":"Readings in Qualitative Reasoning about Physical Systems","first-page":"288","article-title":"Problems of interval-based qualitative reasoning","author":"Struss","year":"1990"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB019","series-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990"},{"key":"10.1016\/S0004-3702(03)00077-8_BIB020","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(91)90108-V","article-title":"A theory of interactions: Unifying qualitative and quantitative algebraic reasoning","volume":"51","author":"Williams","year":"1991","journal-title":"Artificial Intelligence"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370203000778?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370203000778?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T04:57:19Z","timestamp":1552885039000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370203000778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S0004370203000778"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(03)00077-8","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}