{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:28:01Z","timestamp":1742383681406},"reference-count":58,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"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 in Medicine"],"published-print":{"date-parts":[[1997,6]]},"DOI":"10.1016\/s0933-3657(97)00391-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:25:06Z","timestamp":1027657506000},"page":"145-175","source":"Crossref","is-referenced-by-count":24,"title":["Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models"],"prefix":"10.1016","volume":"10","author":[{"given":"Tim","family":"Menzies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Compton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0933-3657(97)00391-6_BIB1","doi-asserted-by":"crossref","unstructured":"J. Breuker. Components of Problem Solving and Types of Problems. 8th European Knowledge Acquisition Workshop, EKAW '94, pp. 118\u2013136, 1994.","DOI":"10.1007\/3-540-58487-0_7"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB2","doi-asserted-by":"crossref","unstructured":"T. Bylander, D. Allemang, M.C.M.C. Tanner and J.R. Josephson, The Computational Complexity of Abduction. Artificial Intelligence 49 (1991) 25\u201360.","DOI":"10.1016\/0004-3702(91)90005-5"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB3","doi-asserted-by":"crossref","unstructured":"W. Clancey, Heuristic Classification. Artificial Intelligence 27 (1985) 289\u2013350.","DOI":"10.1016\/0004-3702(85)90016-5"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB4","doi-asserted-by":"crossref","unstructured":"W.J. Clancey, Model Construction Operators. Artificial Intelligence 53 (1992) 1\u2013115.","DOI":"10.1016\/0004-3702(92)90037-X"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB5","doi-asserted-by":"crossref","unstructured":"P. Clark and S. Matwin, Using Qualitative Models to Guide Inductive Learning, in: P. Utgoff, ed., Proceedings of the Tenth International Ala-chine Learning Conference, AIL-93, (1993) pp. 49\u201356.","DOI":"10.1016\/B978-1-55860-307-3.50013-7"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB6","doi-asserted-by":"crossref","unstructured":"E. Coiera, The Qualitative Representation of Physical Systems. The Knowledge Engineering Review 7(1) (1992) 1\u201323.","DOI":"10.1017\/S0269888900006159"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB7","unstructured":"H. S. Coles, Thinking About the Future: A Critique of the Limits to Growth. Sussex University Press, 1974."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB8","doi-asserted-by":"crossref","unstructured":"L. Console and P. Torasso, A Spectrum of Definitions of Model-Based Diagnosis. Computational Intelligence 7(3) (1991) 133\u2013141.","DOI":"10.1111\/j.1467-8640.1991.tb00388.x"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB9","unstructured":"J. Crawford, A. Farquhar, and B. Kuipers, QPC: A Compiler from Physical Models into Qualitative Differential Equations, in B. Faltings and P. Struss, eds., Recent Advances in Qualitative Physics. The MIT Press, 1992."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB10","unstructured":"L. Darden, Diagnosing and Fixing Faults in Theories, in J. Sharager and P. Langley, eds., Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann Publishers Inc., 1990."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB11","doi-asserted-by":"crossref","unstructured":"J. DeKleer, An Assumption-Based TMS. Artificial Intelligence 28 (1986) 163\u2013196.","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB12","doi-asserted-by":"crossref","unstructured":"J. DeKleer and J.S. Brown, A Qualitative Physics Based on Confluences. Artificial Intelligence 25 (1984) 7\u201383.","DOI":"10.1016\/0004-3702(84)90037-7"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB13","unstructured":"K. Eshghi, A Tractable Class of Abductive Problems, in IJCAI '93, (Vol. 1, 1993) pp. 3\u20138."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB14","unstructured":"B Falkenhainer, Abduction as Similarity-Driven Explanation, in P. O'Rourke, ed., Working Notes of the 1990 Spring Symposium on Automated Abduction, (1990) pp. 135\u2013139."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB15","doi-asserted-by":"crossref","unstructured":"B. Feldman, P. Compton, and G. Smythe, Hypothesis Testing: an Appropriate Task for Knowledge-Based Systems, in 4th AAAI-Sponsored Knowledge Acquisition for Knowledge-based Systems Workshop Banff, Canada, 1989.","DOI":"10.1016\/0169-023X(89)90030-X"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB16","unstructured":"B. Feldman, P. Compton, and G. Smythe, Towards Hypothesis Testing: JUSTIN, Prototype System Using Justification in Context. In: Proceedings of the Joint Australian Conference on Artificial Intelligence, AI '89 (1989) pp. 319\u2013331."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB17","doi-asserted-by":"crossref","unstructured":"K. Forbus, Qualitative Process Theory. Artificial Intelligence 24 (1984) 85\u2013168.","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB18","unstructured":"K. Forbus, Interpretating Measurements of Physical Systems, in AAAI '86 (1986) pp. 113\u2013117."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB19","unstructured":"K. Forbus, Pushing the Edge of the (QP) Envelope, in B. Faltings and P. Struss, eds., Recent Advances in Qualitative Physics (The MIT Press, 1992) pp. 245\u2013261."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB20","unstructured":"A. Ginsberg, A new Approach to Checking Knowledge Bases for Inconsistentcy and Redundancy, in Proc. 3rd Annual Expert Systems in Government Conference (1987) pp. 102\u2013111."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB21","doi-asserted-by":"crossref","unstructured":"L. Glass and M.C. Mackey, From Clocks to Chaos. Princeton University Press, 1988.","DOI":"10.1515\/9780691221793"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB22","unstructured":"W. Hamscher. Explaining Unexpected Financial Results, in P. O'Rourke, ed, AAAI Spring Symposium on Automated Abduction (1990) 96\u2013100."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB23","unstructured":"K. Hirata, A Classification of Abduction: Abduction for Logic Programming, in Proceedings of the Fourteenth International Machine Learning Workshop, ML-14 (1994) 16. Also in Machine Intelligence 14 (to appear)."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB24","unstructured":"Y. Iwasaki, Causal Ordering in a Mixed Structure. In Proceedings of AAAI '88 (1988) pp. 313\u2013318."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB25","unstructured":"Y. Iwasaki, Qualitative Physics, in P.R. Cohen A. Barr and E.A. Feigenbaum, eds, The Handbook of Artificial Intelligence (Addison Wesley, 1989) Vol. 4, pp. 323\u2013413."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB26","doi-asserted-by":"crossref","unstructured":"Y. Iwasaki and H.A. Simon, Causality in Device Behaviour. Artificial Intelligence 29 (1986) 3\u201331.","DOI":"10.1016\/0004-3702(86)90089-5"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB27","unstructured":"D.T. Kneger, The Hypothalmus and Neuroendocrinology, in D.T. Kneger and J.C. Hughes, eds, Neuroendocrinology (Sinauer Associates, Inc., 1980) pp. 3\u2013122."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB28","doi-asserted-by":"crossref","unstructured":"B. Kuipers, Qualitative Simulation. Artificial Intelligence 29 (1986) 229\u2013338.","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB29","doi-asserted-by":"crossref","unstructured":"B.J. Kuipers, Reasoning with Qualitative Models. Artificial Intelligence 59 (1993) 125\u2013132.","DOI":"10.1016\/0004-3702(93)90178-E"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB30","unstructured":"D.B. Leake, Focusing Construction and Selection of Abductive Hypotheses, in IJCAI '93 (1993) pp. 24\u201329."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB31","unstructured":"R. Levins and C.J. Puccia, Qualitative Modeling of Complex Systems: An Introduction to Loop Analysis and Time Averaging. Harvard University Press, Cambridge, Mass., 1985."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB32","doi-asserted-by":"crossref","unstructured":"A. Mackworth, The Logic of Constraint Satisfaction. Artificial Intelligence 58 (1992) 3\u201320.","DOI":"10.1016\/0004-3702(92)90003-G"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB33","doi-asserted-by":"crossref","unstructured":"A.K. Mackworth, Consistency in Networks of Relations. Artificial Intelligence 8 (1977) 99\u2013118.","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB34","doi-asserted-by":"crossref","unstructured":"J.E.A. McIntosh and H.P. McIntosh, Mathematical Modeling and Computers in Endocrinology (Springer\u2013Verlag, 1980).","DOI":"10.1007\/978-3-642-81401-3"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB35","unstructured":"D.H. Meadows, D.L. Meadows, J. Randers, and W.W. Behrens, The Limits to Growth (Potomac Associates, 1972)."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB36","unstructured":"G.D. Menzies, An Econometric Analysis of the Dark Figure of Crime, 1985. School of Econometrics, University of New England (Some of the Menzies papers in this Reference list can be found at http:\/\/www.cse.unsw.edu.au\/\u223ctimm\/pub\/docs\/papersonly.html)."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB37","unstructured":"T. Menzies, A. Mahidadia, and P. Compton, Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers Can Use Causality. in Proceedings of the 7th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, 1992."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB38","unstructured":"T.J. Menzies, Applications of Abduction #1: Intelligent Decision Support Systems, in Proceedings of the Melbourne Workshop on Intelligent Decision Support. Department of Information Systems, Monash University, Melbourne, 1996. Also, TR95-16, Department of Software Development, Monash University."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB39","unstructured":"T.J. Menzies, Principles for Generalised Testing of Knowledge Bases. PhD thesis, University of New South Wales, 1995."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB40","unstructured":"T.J. Menzies, Situated Semantics is a Side-Effect of the Computational Complexity of Abduction, in Australian Cognitive Science Society, 3rd Conference 1995."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB41","unstructured":"T.J. Menzies, On the Practicality of Abductive Validation, in ECAI '96 1996."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB42","doi-asserted-by":"crossref","unstructured":"T.J. Menzies, Applications of Abduction: Knowledge Level Modeling. International Journal of Human Computer Studies September, 1996.","DOI":"10.1006\/ijhc.1996.0054"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB43","unstructured":"T.J. Menzies and P. Compton, A Precise Semantics for Vague Diagrams (World Scientific, 1994) pp. 149\u2013156."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB44","unstructured":"T.J. Menzies, P. Compton, B. Feldman, and T. Toft, Qualitative Compartmental Modeling, in Proceedings of the AAAI Symposium on Diagrammatic Reasoning Stanford University, March 25\u201327, 1992."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB45","unstructured":"D. Moberg, Personal communication, 1992."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB46","unstructured":"H.T. Ng and R.J. Mooney, The Role of Coherence in Constructing and Evaluating Abductive Explanations, in Working Notes of the 1990 Spring Symposium on Automated Abduction (1990) Vol. TR 90\u201332, pp. 13\u201317."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB47","unstructured":"D. Poole, Hypo-Deductive Reasoning for Abduction, Default Reasoning, and Design, in P. O'Rourke, ed., Working Notes of the 1990 Spring Symposium on Automated Abduction (1990) Vol. TR 90\u201332, pp. 106\u2013110."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB48","doi-asserted-by":"crossref","unstructured":"D. Poole, A Methodology for Using a Default and Abductive Reasoning System. International Journal of Intelligent Systems 5 (1990) 521\u2013548.","DOI":"10.1002\/int.4550050506"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB49","doi-asserted-by":"crossref","unstructured":"A.D. Preece and R. Shinghal, Verifying Knowledge Bases by Anomaly Detection: An Experience Report, in ECAI '92, 1992.","DOI":"10.1109\/ICSMC.1992.271675"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB50","doi-asserted-by":"crossref","unstructured":"R. Reiter, A Logic for Default Reasoning. Artificial Intelligence 13 (1980) 81\u2013132.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB51","unstructured":"G.D. Rennels, E.H. Shortliffe, F.E. Stockdale, and P.L. Miller, A Computational Model of Reasoning from the Clinical Literature. AI Magazine (Spring 1989) pp. 49\u201357."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB52","unstructured":"C. Rieger and M. Grinberg, The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. In IJCAI '77 (1977) pp. 250\u2013256."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB53","unstructured":"B. Selman and H.J. Levesque, Abductive and Default Reasoning: a Computational Core, in AAAI '90 (1990) pp. 343\u2013348."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB54","unstructured":"G.A. Smythe, Hypothalamic noradrenergic activation of stress-induced adrenocorticotropin (ACTH) release: Effects of acute and chronic dexamethasone pre-treatment in the rat. Exp. Clin. Endocrinol. (Life Sci. Adv.) 6 (1987) 141\u2013144."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB55","unstructured":"G.A. Smythe, Brain-hypothalmus, Pituitary and the Endocrine Pancreas. The Endocrine Pancreas 1989."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB56","doi-asserted-by":"crossref","unstructured":"G.A. Smythe, M.W. Duncam, J.E. Bradshaw, M.Y Cai, and R.G. Symons, Control of Growth Hormone Secretion: Hypothalmic Dopamine, Norepinephrine and Serotonin Levels and Metabolism in Three Hyposymatrophic Rat Models and in Normal Rats. Endocrinology 110(2) (1982) 376\u2013383.","DOI":"10.1210\/endo-110-2-376"},{"key":"10.1016\/S0933-3657(97)00391-6_BIB57","unstructured":"D.R. Swanson, Medical Knowledge as a Potential Source of New Knowledge. Bull. Med. Libr. Assoc. 78(1) (1990) 29\u201337."},{"key":"10.1016\/S0933-3657(97)00391-6_BIB58","doi-asserted-by":"crossref","unstructured":"N. Ziatereva, Truth Mainteance Systems and Their Application for Verifying Expert System Knowledge Bases. Artificial Intelligence Review 6, 1992.","DOI":"10.1007\/BF00155580"}],"container-title":["Artificial Intelligence in Medicine"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0933365797003916?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0933365797003916?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,15]],"date-time":"2021-05-15T02:33:38Z","timestamp":1621046018000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0933365797003916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,6]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,6]]}},"alternative-id":["S0933365797003916"],"URL":"https:\/\/doi.org\/10.1016\/s0933-3657(97)00391-6","relation":{},"ISSN":["0933-3657"],"issn-type":[{"value":"0933-3657","type":"print"}],"subject":[],"published":{"date-parts":[[1997,6]]}}}