REFERENCES
- Allen , J. F. 1984. Towards a general theory of action and time. Artif. Intell. 23 123 – 154 .
- Allen , J. F. , and Hayes , P. J. 1989. Moments and points in an interval-based temporal logic. Computational Intelligence 5 225 – 238 .
- Cardoso , A. 1992. A Framework for On-line Monitoring and Diagnosis of Physical Systems , Ph.D. dissertation , University of Coimbra .
- de Kleer , J. , and Bobrow , D. G. 1984. Qualitative Reasoning with Higher-Order Derivatives , Procs. AAAI–84 , pp. 86 – 91 , Austin , Tex. , August .
- de Kleer , J. , and Brown , J. S. 1983. The Origin, Form and Logic of Qualitative Physical Laws , Proc. IJCAI–83 2 1158 – 1169 .
- de Kleer , J. and Brown , J. S. 1984. A Qualitative Physics Based on Confluences. Artif. Intell. 24 ( 1–3 ) 7 – 83 .
- de Kleer , J. ,Brown. 1986. Theories of causal ordering. Artif. Intell. 26 ( l ) 33 – 61 .
- de Kleer , J. , and Williams , B. C. 1987. Diagnosing multiple faults. Artif. Intell. 32 ( 1 ) 97 – 130 .
- Doyle , J. 1979. A truth maintenance system. Artif. Intell 12 231 – 272 .
- Forbus , K. D. 1984. Qualitative process theory. Artif. Intell. 24 ( 1–3 ) 85 – 168 .
- Hayes , P. J. 1985. The Second Naive Physics Manifesto. In Formal Theories of the Commonsense World , eds.J. H. Hobbs and R. C. Moore , pp. p1–36. p Norwood , N.J. Ablex .
- Kuipers , B. 1986. Qualitative Simulation. Artif. Intell. 29 ( 3 ) 289 – 338 .
- Murrill , P. W. 1988. Application Concepts of Process Control. Triangle Park , N.C. Instrument Society of America .
- Reiter , R. 1987. A Theory of Diagnosis from First Principles. Artif. Intell. 32 ( l ) 57 – 95 .
- Sussman , G. J. , Steele , G. L. Jr. 1980. CONSTRAINTS A Language for Expressing almost Hierarchical Descriptions , Artif. Intell. 14 ( 1 ) 1 – 40 .
- Williams , B. C. 1986. Doing Time Putting Qualitative Reasoning on Firmer Ground. Procs. AAAI–86 1 105 – 112 .
- Williams , B. C. 1990. Temporal Qualitative Analysis Explaining How Physical Systems Work. In Qualitative Reasoning about Physical Systems , eds. D. S. Weld and J. de Kleer , pp. 133 – 177 . San Mateo , Calif. Morgan Kaufmann .