Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models

[1]  L. Codispoti.  The limits to growth , 1997, Nature.

[2]  T. Menzies.  Principles for generalised testing of knowledge bases , 1996 .

[3]  Tim Menzies,et al.  Applications of abduction: knowledge-level modelling , 1996, Int. J. Hum. Comput. Stud..

[4]  Tim Menzies.  On the Practicality of Abductive Validation , 1996, ECAI.

[5]  Tim Menzies,et al.  Applications of Abduction \#1: Intelligent Decision Support Systems. , 1995 .

[6]  Tim Menzies.  Situated Semantics is a Side-Effect of the Computational Complexity of Abduction , 1995 .

[7]  Joost Breuker.  Components of Problem Solving and Types of Problems , 1994, EKAW.

[8]  Walter Hamscher.  Explaining Financial Results , 1994 .

[9]  Tim Menzies,et al.  A PRECISE SEMANTICS FOR VAGUE DIAGRAMS , 1994 .

[10]  Kouichi Hirata,et al.  A classification of abduction: abduction for logic programming , 1996, Machine Intelligence 14.

[11]  David B. Leake.  Focusing Construction and Selection of Abductive Hypotheses , 1993, IJCAI.

[12]  Benjamin Kuipers,et al.  Reasoning with Qualitative Models , 1993, Artif. Intell..

[13]  Kenneth D. Forbus.  Pushing the edge of the (QP) envelope , 1993 .

[14]  Boi Faltings,et al.  Recent advances in qualitative physics , 1993 .

[15]  Stan Matwin,et al.  Using Qualitative Models to Guide Inductive Learning , 1993, ICML.

[16]  R. Shinghal,et al.  Verifying and testing expert system conceptual models , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[17]  Alun D. Preece,et al.  Verifying Knowledge Bases by Anomaly Detection: An Experience Report , 1992, ECAI.

[18]  Enrico W. Coiera,et al.  The qualitative representation of physical systems , 1992, The Knowledge Engineering Review.

[19]  Alan K. Mackworth.  The Logic of Constraint Satisfaction , 1991, Artif. Intell..

[20]  P. Compton,et al.  Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers , 1992 .

[21]  William J. Clancey,et al.  Model Construction Operators , 1992, Artif. Intell..

[22]  Paul Compton,et al.  QUALITATIVE COMPARTMENTAL MODELLING , 1992 .

[23]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[24]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[25]  Paul O'Rorke.  Working Notes of the 1990 Spring Symposium on Automated Abduction , 1990 .

[26]  P. Langley,et al.  Computational Models of Scientific Discovery and Theory Formation , 1990 .

[27]  Hector J. Levesque,et al.  Abductive and Default Reasoning: A Computational Core , 1990, AAAI.

[28]  Benjamin Kuipers,et al.  QPC: A Compiler from Physical Models into Qualitative Differential Equations , 1990, AAAI.

[29]  David Poole,et al.  A methodology for using a default and abductive reasoning system , 1989, Int. J. Intell. Syst..

[30]  Hwee Tou Ng,et al.  de of Coherence lanation , 1990 .

[31]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[32]  Glenn D. Rennels,et al.  A Computational Model of Reasoning from the Clinical Literature , 1986, AI Mag..

[33]  Yumi Iwasaki.  Causal Ordering in a Mixed Structure , 1988, AAAI.

[34]  Michael C. Mackey,et al.  From Clocks to Chaos , 1988 .

[35]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[36]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[37]  Kenneth D. Forbus.  Interpreting Measurements of Physical Systems , 1986, AAAI.

[38]  中園 薫.  A Qualitative Physics Based on Confluences , 1986 .

[39]  Charles J. Puccia,et al.  Qualitative Modeling of Complex Systems: An Introduction to Loop Analysis and Time Averaging , 1986 .

[40]  B. Kuipers.  Qualitative Simulation , 1986, Artif. Intell..

[41]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[42]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[43]  G. Smythe,et al.  Serotoninergic control of growth hormone secretion: hypothalamic dopamine, norepinephrine, and serotonin levels and metabolism in three hyposomatotropic rat models and in normal rats. , 1982, Endocrinology.

[44]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[45]  Ph.D. James E. A. McIntosh M.A.,et al.  Mathematical Modelling and Computers in Endocrinology , 1980, Monographs on Endocrinology.

[46]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[47]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[48]  J. Cragg,et al.  Thinking about the future: A critique of the limits to growth: Edited by H. S. D. Cole, Christopher Freeman, Marie Jahoda & K. L. R. Pavitt. Chatto & Windus for Sussex University Press, London: 218 pp., £3.00, 1973 , 1974 .

[49]  F. Pirani,et al.  Thinking about the Future: A Critique of The Limits to Growth , 1974 .

[50]  Dorothy T. Krieger.  The Hypothalamus and Neuroendocrinology , 1971 .

[51]  H. Imura,et al.  Control of growth hormone secretion. , 1968, Saishin igaku. Modern medicine.