{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T04:07:37Z","timestamp":1742184457338,"version":"3.38.0"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1109\/tkde.2002.1047773","type":"journal-article","created":{"date-parts":[[2003,1,3]],"date-time":"2003-01-03T17:55:00Z","timestamp":1041616500000},"page":"1362-1375","source":"Crossref","is-referenced-by-count":3,"title":["Applications of abduction: testing very long qualitative simulations"],"prefix":"10.1109","volume":"14","author":[{"given":"T.","family":"Menzies","sequence":"first","affiliation":[]},{"given":"R.F.","family":"Cohen","sequence":"additional","affiliation":[]},{"given":"S.","family":"Waugh","sequence":"additional","affiliation":[]},{"given":"S.","family":"Goss","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","first-page":"17","article-title":"What Is a Knowledge Representation?","volume-title":"AI Magazine","author":"Davis","year":"1993"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/1042-8143(92)90013-Q"},{"issue":"1","key":"ref3","article-title":"Expertise in Context: Personally Constructed, Socially Elected, and Reality-Relevant?","volume":"7","author":"Agnew","year":"1993","journal-title":"Int\u2019l J. Expert Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/129852.129861"},{"key":"ref5","first-page":"366","article-title":"Maintaining an Expert System","volume-title":"Applications of Expert Systems","author":"Compton","year":"1989"},{"article-title":"Verifying Knowledge Bases by Anomaly Detection: An Experience Report","volume-title":"Proc. European Conf. Artificial Intelligence \u201992","author":"Preece","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/359588.359602"},{"key":"ref8","first-page":"319","article-title":"Towards Hypothesis Testing: JUSTIN, Prototype System Using Justification in Context","volume-title":"Proc. Joint Australian Conf. Artificial Intelligence (AI \u201989)","author":"Feldman"},{"key":"ref9","first-page":"145","article-title":"Applications of Abduction: Hypothesis Testing of Neuroendocrinological Qualitative Compartmental Models","volume-title":"Artificial Intelligence in Medicine","volume":"10","author":"Menzies","year":"1997"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90005-5"},{"key":"ref11","article-title":"On the Practicality of Abductive Validation","volume-title":"Proc. European Conf. Artificial Intelligence \u201996","author":"Menzies","year":"1996"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90179-F"},{"key":"ref14","first-page":"3","article-title":"A Tractable Class of Abductive Problems","volume-title":"Proc. Int\u2019l Joint Conf. Artificial Intelligence \u201993","volume":"1","author":"Eshghi"},{"key":"ref15","first-page":"305","article-title":"Applications of Abduction: Knowledge Level Modeling","volume-title":"Int\u2019l J. Human Computer Studies","volume":"45","author":"Menzies","year":"1996"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233819"},{"key":"ref18","article-title":"Brain-Hypothalmus, Pituitary and the Endocrine Pancreas","author":"Smythe","year":"1989","journal-title":"The Endocrine Pancreas"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1995.1021"},{"article-title":"A Graph-Theoretic Optimisation of Temporal Abductive Validation","volume-title":"Proc. European Symp. Validation and Verification of Knowledge Based Systems","author":"Menzies","key":"ref20"},{"key":"ref21","article-title":"Evaluating a Qualitative Reasoner","volume-title":"Advanced Topics in Artificial Intelligence: Proc. 10th Australian Joint Conf. Artificial Intelligence","author":"Waugh","year":"1996"},{"key":"ref22","article-title":"Applications of Abduction 3: \u2019Black-Box\u2019 to \u2019Gray-Box\u2019 Model","volume-title":"Proc. Artificial Intelligence in Defense Workshop, Australian AI \u201995","author":"Menzies","year":"1995"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-10822-1","volume-title":"Modeling and Simulations.","author":"Bossel","year":"1994"},{"key":"ref24","first-page":"867","article-title":"Towards Situated Knowledge Acquisition","volume-title":"Proc. Int\u2019l J. Human-Computer Studies","volume":"49","author":"Menzies","year":"1998"},{"key":"ref25","first-page":"34","article-title":"The Tractability of Subsumption in Frame-Based Description Languages","volume-title":"Proc. Am. Assoc. Artificial Intelligence \u201984","author":"Brachman"},{"article-title":"Principles for Generalized Testing of Knowledge Bases","year":"1995","author":"Menzies","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1996.0008"},{"article-title":"Verification of Knowledge Bases Using Containnment Checking","volume-title":"Proc. Am. Assoc. Artificial Intelligence \u201996","author":"Levy","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF00155580"},{"key":"ref31","first-page":"102","article-title":"A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy","volume-title":"Proc. Third Ann. Expert Systems in Government Conf.","author":"Ginsberg"},{"key":"ref32","first-page":"323","article-title":"Qualitative Physics","volume-title":"The Handbook of Artificial Intelligence","volume":"4","author":"Iwasaki","year":"1989"},{"volume-title":"KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems.","year":"1989","author":"Bratko","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90111-V"},{"volume-title":"Qualitative Modeling of Complex Systems: An Introduction to Loop Analysis and Time Averaging.","year":"1985","author":"Levins","key":"ref35"},{"key":"ref36","first-page":"263","article-title":"An Assessment of Current Qualitative Simulation Techniques","volume-title":"Recent Advances in Qualitative Physics","author":"Fouche","year":"1992"},{"article-title":"Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm","volume-title":"Proc. Am. Assoc. Artificial Intelligence \u201997","author":"Clancy","key":"ref37"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1109\/ICSE.2001.919112","article-title":"Fast Formal Analysis of Requirements Via \u2019Topoi Diagrams\u2019","volume-title":"Proc. Int\u2019l Conf. Software Eng. 2001","author":"Menzies","year":"2001"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/69\/22458\/01047773.pdf?arnumber=1047773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:58:28Z","timestamp":1742101108000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1047773\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":38,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"URL":"https:\/\/doi.org\/10.1109\/tkde.2002.1047773","relation":{},"ISSN":["1041-4347"],"issn-type":[{"type":"print","value":"1041-4347"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}