Qualitative reasoning: A survey of techniques applications

AI Communications

Volumn 8, Issue 3-4, 1995, Pages 119-192

  Bourseau, P ^b   Bousson, K ^b   Dague, P ^b   Dormoy, J L ^b   Evrard, J M ^b   Guerrin, F ^b   Leyval, L ^b   Lhomme, O ^b   Lucas, B ^b   Missier, A ^b   Montmain, J ^b   Piera, N ^b   Rakoto Ravalontsalama, N ^b   Steyer, J P ^b   Tomasena, M ^b   Trave Massuyes L ^b   Vescovi, M ^b   Xanthakis, S ^b   Yannou, B ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY; DIFFERENTIAL EQUATIONS; ECONOMICS; ENGINEERING; MATHEMATICAL MODELS;

COMMONSENSE REASONING; MATHEMATICAL FORMALISM; QUALITATIVE REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0029368943     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-1995-83-401     Document Type: Article

References (472)

1. Abdulmajid, B.A. and Wynne, R.J. (1991): Embedded qualitative simulation for process control. InProc. Summer Comput. Simul. Conf., 23, pp. 369-374.
2. Abe, S. (1993): A Qualitative System Identification Method.7th Int. Workshop on Qualitative Reasoning about Physical Systems QR'93, Rosario, WA, pp. 1-10.
3. Addanki, S., Cremonini, R. and Penberthy, J. (1989): Reasoning about assumptions in graphs of models. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1432-1438.
4. ] Addanki, S., Cremonini, R. and Penberthy, J. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. and de Kleer, J., (eds.), Morgan Kaufmann, pp. 546-552.
5. Addanki, S., Cremonini, R. and Penberthy, J. (1991): Graphs of models.Artificial Intelligence51, pp. 147-177.
6. Alefeld, G., and Herzberger, J. (1983):Introduction to Interval Computation, Academic Press, NY. 832-843
7. Allen, J.F. (1983): Maintaining Knowledge about Temporal Intervals.Comm. ACM26(6), pp.
8. Allen, J.F Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. and de Kleer, J., (eds.), Morgan Kaufmann, pp. 361-372.
9. Allen, J.F. (1984): Towards a general theory of action and time.Artificial Intelligence23, pp. 123-154.
10. Amador, P. and Weld, D. (1991): Microscopic and statistical reasoning about populations.AAAI-91 Model-Based Reasoning Workshop, Anaheim, CA.
11. Amador, P., Finkelstein, A. and Weld, D. (1993): Real-time self explanatory simulation. InProc. 11th National Conf. On Artificial Intelligence, Washington, DC, pp. 562-567.
12. Amador, P., Finkelstein, A. and Weld, D. Annals of Mathematics and Artificial Intelligence(1994): Special issue on Model-Based Diagnosis, Console, L. and Friedrich, G., (eds.), Golumbic, M.C., (ed.-in-chief), 11(1-4), J.C. Baltzer AG.
13. Antunes, M.P., Seixas, M.J., Camara, A.S. and Pinheiro, M. (1987): A new method for qualitative simulation of water resources systems. 2 - Applications.Water Resources Research, 23 (11), pp. 2019-2022.
14. Antunes, M.P., Seixas, M.J., Camara, A.S. and Pinheiro, M Artificial Intelligence(1991): Special Volume onQualitative Reasoning about Physical Systems II, 51(1-3). Also published as a book, de Kleer, J. and Williams, B., (eds.), Elsevier, Amsterdam (1991)/MIT Press, Cambridge, MA. (1992).
15. Ayrolles, L. and Guerrin, F. (1993): Towards a general approach to deal with temporal granularity.IJCAI'93 Workshop Engineering Problems for Qualitative Reasoning, Chambery, pp. 95-102.
16. Ayrolles, L., Faivre, R. and Guerrin, F. (1995): Time abstraction and quantitative/qualitative interpretation of multiple dynamics processes.9th Int. Workshop on Qualitative Reasoning about Physical Systems QR’95, Amsterdam, pp. 218-227.
17. Benhamou, F., McAllester, D. and Van Hentenryck, P. (1994): CLP(Intervals) Revisited. InProc. Int. Logic Programming Symposium, Ithaca, NY.
18. Berleant, D. and Kuipers, B.J. (1992): Combined Qualitative and Numerical Simulation with Q3. In Faltings, B. and Struss, P., (eds.), Recent Advances in Qualitative Physics, MIT Press, pp. 3-16.
19. Biswas, G. and Yu, X. (1993): A formal modeling scheme for continuous systems: Focus on diagnosis. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1474-1479.
20. Biswas, G., Manganaris, S. and Yu, X. (1993): Extending component connection modeling for analyzing complex physical systems.IEEE Expert8(1), pp. 48-57.
21. Borel, E. (1910):Leçons sur la théorie de la croissance.In French. Gauthier-Villars.
22. Bose, P. and Rajamoney, S.A. (1992): Compositional Model-Based Design of Physical Systems.6th Int. Workshop on Qualitative Reasoning about Physical Systems QR’92, Edinburgh, pp. 56-67.
23. Bose, P. and Rajamoney, S.A. (1993): Compositional Model-Based Design. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1445-1450.
24. Boshemitzan, M. (1981): An Extension of Hardy’s Class L of “Orders of Infinity”.Journal of Mathematical Analysis39, pp. 235-255.
25. Boshemitzan, M. (1982): New Orders of Infinity.Journal of Mathematical Analysis41, pp. 130-167.
26. Botella, B. and Taillibert, P. (1993): INTERLOG: Constraint logic programming on numeric intervals.3rd Int. Workshop on Software Engineering, Artificial Intelligence and Expert Systems, Oberammergau, October, pp. 4-8.
27. Böttcher, C. and Dressier, O. (1993): Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1460-1465.
28. Böttcher, C. and Dressier, O. (1994): A framework for controlling model-based diagnosis systems with multiple actions. InAnnals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis, Console, L. and Friedrich, G., (eds.), Golumbic, M.C., (ed.-in-chief), 11(1^4), J.C. Baltzer AG, pp. 241-261.
29. Böttcher, C. (1995): No faults in Structure? How to Diagnose Hidden Interactions! InProc. 14th Int. Joint Conf. On Artificial Intelligence, Montreal, pp. 1728-1734.
30. Bourbaki, N. (1961):Fonctions d’une Variable Réelle.In French. Hermann.
31. Bourseau, P., Brilloit, P., Muratet, G. and Latgé, C. (1991): Qualitative analysis of a complex chemical plant: Application to a cold trap of a nuclear power reactor.1st European Workshop on Qualitative Reasoning about Physical Systems, Genoa.
32. Bourseau, P. (1993): Modélisation des connaissances de l’ingénieur de procédé: Application de l’intelligence artificielle. In French. Doctorat d’Etat dissertation, Pierre et Marie Curie University, Paris.
33. Bousson, K. (1993):Raisonnement Causal pour la Supervision de Processus Basée sur des Modèles.In French. Ph.D. dissertation, LAAS-CNRS, Toulouse.
34. Bousson, K., Guerrin, F. and Travé-Massuyès, L. (1993): Qualitative Prediction and Interpretation fer Bioprocess Supervision. InProc. Int. Conf. On Fault Diagnosis Tooldiag’93, Toulouse, pp. 1044—1053.
35. Bousson, K. and Travé-Massuyès, L. (1993): Fuzzy Causal Simulation in Process Engineering. InProc. I3th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1536-1541.
36. Bousson, K. and Travé-Massuyès, L. (1994): Putting More Numbers in the Qualitative Simulator CA-EN. InProc. 2nd Int. Conf. On Intelligent Systems Engineering, Hamburg.
37. Bradshaw, J. and Young, R.M. (1992): Evaluating the behaviour of the BAe 146 hydraulic system using the Doris system. InProc. 10th European Conf. On Artificial Intelligence, Vienna, pp. 739-743.
38. Bratko, I., Mozetic, I. And Lavrac, N. (1986): Automatic Synthesis and Compression of Cardiological Knowledge. In Hayes, J., Michie, D. And Richards, J., (Eds.), Machine Intelligence11, Oxford University Press.
39. Bratko, I., Mozetic, I. And Lavrac, N. (1989):KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems.MIT Press, Cambridge, MA.
40. Breedveld, P.C., Rosenberg, R.C. And Zhou, T. (1991): Bibliography of bond graph theory and applications.J. Franklin Institute328(5/6), pp. 1067-1109.
41. Brown, J.S., Burton, R. And de Kleer, J. (1982): Pedagogical, natural language, and knowledge engineering issues in SOPHIE I, II, and III. In Sleeman, D. And Brown, J.S., (Eds.), Intelligent Tutoring Systems, Academic Press, NY, pp. 227-282.
42. Bylander, T. (1991): The qualitative difference resolution rule. InProc. 9th National Conf. On Artificial Intelligence, Anaheim, CA, pp. 824-829.
43. Caloud, P. (1987): Towards continuous process supervision. InProc. 10th Int. Joint Conf. On Artificial Intelligence, Milan, pp. 1086-1089.
44. Camara, A.S., Pinheiro, M., Antunes, M.P. And Seixas, M.J. (1987): A new method for qualitative simulation of water resources systems. 1-Theory.Water Resources Research, 23(11), pp. 2015-2018.
45. Catino, C.A., Grantham, S.D. And Ungar, L.H. (1991): Automatic generation of qualitative models of chemical process units.Computers and Chemical Engineering15(8), pp. 583-599.
46. Caudron, D. (1990): Utilisation des techniques de résolution de problèmes pour la planification de séquences de redémarrage de processus continus.In French. Ph.D. dissertation, Technology University, Compiègne.
47. Charles, A. And Mélin, C. (1991): Model-based Diagnosis of dynamic processes: A mixed qualitative/quantitative approach. InProc. 1st IFAC Int. Workshop on Algorithms and Architectures for Real-time Control, Bangor.
48. Charles, A. And Mélin, C. (1993): QDIAG: A Mixed Qualitative/Quantitative Approach to Dynamic Diagnosis. InProc. Int. Conf. On Fault Diagnosis Tooldiag'93, Toulouse, pp. 1063-1070.
49. Cheung, J.T.-Y. And Stephanopoulos, G. (1990): Representation of process trends - Part I. A formal representation framework.Computers and Chemical Engineering 14(4-5), pp. 495-510.
50. Cheung, J.T.-Y. And Stephanopoulos, G. (1990): Representation of process trends - Part II. The problem of scale and qualitative scaling.Computers and Chemical Engineering14(4-5), pp. 511-539.
51. Chittaro, L., Guida, G., Tasso, C. And Toppano, E. (1993): Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: A case study in diagnosis.IEEE Trans, on Systems, Man and Cybernetics23(6), pp. 1718-1751.
52. Chittaro, L., Tasso, C. And Toppano, E. (1994): Putting functional knowledge on firmer ground.Journal of Applied Artificial Intelligence8(2), pp. 239-258.
53. Chittaro, L. (1995): Functional diagnosis and prescription of measurements using effort and flow variables.IEE Control Theory and Applications142(5).
54. Clancy, D.J. And Kuipers, B.J. (1993): Behavioral abstraction for tractable simulation.7th Int. Workshop on Qualitative Reasoning about Physical Systems QR'93, Rosario, WA, pp. 57-64.
55. Cleary, J.C. (1987): Logical arithmetic.Future Computing Systems2(2), pp. 125-149.
56. Cloksin, W.F. And Morgan, A.J. (1987): Qualitative Control.Advances in Artificial Intelligence II, North-Holland, pp. 65-86.
57. Cohn, A.G. (1987): Qualitative Reasoning.Lecture Notes in AI2, Springer-Verlag, pp. 60-95.
58. Coiera, E.W. (1989): Learning Qualitative Models From Example Behaviours.3rd Int. Qualitative Physics Workshop QR’89, Palo Alto, pp. 1-3.
59. Coiera, E.W. (1992): Qualitative superposition.Artificial Intelligence56(2-3), pp. 171-196.
60. Collins, A. And Gentner, D. (1983): Multiple Models of Evaporation Processes. InProc. 5th Annual Meeting of Cognitive Science Society, Rochester, NY. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 508-512.
61. Collins, A. And Forbus, K.D. (1987): Reasoning about Fluids via Molecular Collections. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 590-595. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 503-507.
62. Console, L. And Torasso, P. (1990): Integrating models of the correct behavior into abductive diagnosis. InProc. 9th European Conf. On Artificial Intelligence, Stockholm, pp. 160-166.
63. Console, L. And Torasso, P. (1991): A spectrum of logical definitions of model-based diagnosis.Computational Intelligence, 7(3), pp. 133-141
64. Console, L. And Torasso, P. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 78-88.
65. Console, L., Portinale, L., Theseider Dupr6, D. And Torasso, P. (1994): Diagnosing time-varying misbehavior: An approach based on model decomposition. InAnnals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis, Console, L. And Friedrich, G., (Eds.), M.C. Golumbic, (Ed.-in-chief), 11(1-4), J.C. Baltzer AG, pp. 381-398.
66. Crawford, J., Farquhar, A. And Kuipers, B.J. (1990): QPC: A Compiler from Physical Models into Qualitative Differential Equations. InProc. 8th National Conf. On Artificial Intelligence, Boston, MA, pp. 365-372
67. Crawford, J., Farquhar, A. And Kuipers, B.J Also in Fairings, B. And Struss, P., (Eds.), Recent Advances in Qualitative Physics(1992), MIT Press, pp. 17-32.
68. Cui, Z., Cohn, A.G. And Randell, D.A. (1992): Qualitative Simulation Based on a Logical Formalism of Space and Time. InProc. 10th National Conf. On Artificial Intelligence, San Jose, CA, pp. 679-684.
69. Dague, P., Devfes, P. And Raiman, O. (1987): Troubleshooting: When modeling is the trouble, InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 590-595.
70. Dague, P., Devfes, P. And Raiman, O. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 435-440.
71. Dague, P., Devfes, P. And Raiman, O. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 218-223.
72. Dague, P., Devis, P., Luciani, P. And Taillibert, P. (1990): Analog systems diagnosis. InProc. 9th European Conf. On Artificial Intelligence, Stockholm, pp. 173-178.
73. Dague, P., Devis, P., Luciani, P. And Taillibert, P Also in Readings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 229-234.
74. Dague, P., Jehl, O. And Taillibert, P. (1990): An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems.Int. Workshop on Expert Systems in Engineering, Vienna, Lecture Notes in Artificial Intelligence462, Gottlob, G. And Nejdl, W., (Eds.), SpringerVerlag, pp. 16-31.
75. Dague, P., Devès, P., Jehl, O., Luciani, P. And Taillibert, P. (1991): When oscillators stop oscillating. InProc. 12th Int. Joint Confi on Artificial Intelligence, Sydney, pp. 1109— 1115.
76. Dague, P., Devès, P., Jehl, O., Luciani, P. And Taillibert, P. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 235-241.
77. Dague, P. (1993): Symbolic reasoning with relative orders of magnitude. InProc. 13th Int. Joint Confi, on Artificial Intelligence, Chambery, pp. 1509-1514.
78. Dague, P. (1993): Numeric reasoning with relative orders of magnitude. InProc. 11th National Confi, on Artificial Intelligence, Washington, DC, pp. 541-547.
79. Dague, P. (1994): Model-based diagnosis of analog electronic circuits. InAnnals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis, Console, L. And Friedrich, G., (Eds.), Golumbic, M.C., (Ed.-in-chief), 11(1-4), J.C. Baltzer AG, pp. 439-492.
80. Dalle Molle, D.T. (1989):Qualitative Simulations of Dynamic Chemical Processes.Ph.D. dissertation, university of Texas, Austin, TX. Available as technical report AI 89-107.
81. D’Ambrosio, B. (1987): Extending the mathematics in qualitative process theory. InProc. 6th National Confi, on Artificial Intelligence, Seattle, WA, pp. 595-599.
82. D’Ambrosio, B. (1989): Extending the mathematics in qualitative process theory. InArtificial Intelligence, Simulation and Modeling, Widman, L.E., Loparo, K.E. And Nielsen, N.R., (Eds.), Wiley-Interscience, NY, pp. 133-158.
83. D’ambrosio, B. (1990): Modeling real-world processes: Deep and shallow knowledge integrated with approximate reasoning in a diagnostic expert system. InArtificial Intelligence in Process Engineering, Mavrovouniotis, M.L., (Ed.), Academic Press Inc., Boston, pp. 189-221.
84. Davis, E. (1987): Order of Magnitude Reasoning in Qualitative Differential Equations. Technical report 312, NYU Computer Science Department, August. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 422-434.
85. Davis, E. (1987): Constraint propagation with interval labels.Artificial Intelligence32, pp. 281-331.
86. Davis, E. (1987): A Framework for Qualitative Reasoning about Solid Objects. InProc. Of the Workshop on Space Telerobotics, NASA and JPL, pp. 369-375. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 603-609.
87. Davis, E. (1988): A Logical Framework for Commonsense Predictions of Solid Object Behavior.Int. J. Of AI in Engineering3(3), pp. 125-140.
88. Davis, E. (1990):Representations of Commonsense Knowledge.Morgan Kaufmann.
89. Davis, E. (1992): Axiomatizing Qualitative Process Theory. InProc. 3rd Int. Confi on Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 177-188.
90. Davis, R. (1983): Diagnosis via causal reasoning: Paths of interaction and the locality principle. InProc. 3rd National Confi, on Artificial Intelligence, Washington, DC, pp. 88-94. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 535-541.
91. Davis, R. (1984): Diagnostic reasoning based on structure and behavior.Artificial Intelligence24(1), pp. 347-410.
92. Davis, R. Also inQualitative Reasoning about Physical Systems, Bo-brow, D., (Ed.), North-Holland (1984)/MIT Press (1985), pp. 347-410.
93. Davis, R. Also inReadings in Model-Based Diagnosis (1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 376-407.
94. Davis, R. And Hamscher, W. (1988): Model-btised reasoning: Troubleshooting. InExploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence(1988), Schrobe, H., (Ed.), Morgan Kaufmann, pp. 297-346.
95. Davis, R. And Hamscher, W Also inArtificial Intelligence at MIT: Expanding Frontiers(1990) Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 3-24.
96. De Kleer, J. (1976): Local methods of localizing faults in electronic circuits. AIM-394, MIT Artificial Intelligence Lab, Cambridge, MA.
97. De Kleer, J. (1977): Multiple Representations of Knowledge in a Mechanics Problem-Solver. InProc. 5th Int. Joint Conf. On Artificial Intelligence, Cambridge, MA, pp. 299-304.
98. De Kleer, J. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 40-45.
99. De Kleer, J. (1979): The Origin and Resolution of Ambiguities in Causal Arguments. InProc. 6th Int. Joint Conf. On Artificial Intelligence, Tokyo, pp. 197-204. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 624-630.
100. De Kleer, J. (1984): How Circuits Work.Artificial Intelligence24(1-3), pp. 205-280.
101. De Kleer, J. Also inQualitative Reasoning about Physical Systems(1985), Bobrow, D., (Ed.), MIT Press, Cambridge, MA, pp. 205-280.
102. De Kleer, J. And Bobrow, D.G. (1984): Qualitative reasoning with higher-order derivatives. InProc. 4th National Conf. On Artificial Intelligence, Austin, TX, pp. 36-91. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 127-132.
103. De Kleer, J. And Brown, J.S. (1984): A Qualitative Physics Based on Confluences.Artificial Intelligence24(1-3), pp. 7-83.
104. De Kleer, J. And Brown, J.S Also inQualitative Reasoning About Physical Systems, Bobrow, D., (Ed.), North-Holland (1984)/MIT Press (1985), pp. 7-83.
105. De Kleer, J. And Brown, J.S Also inFormal Theories of the Commonsense World(1985) Hobb, s, J. And Moore, R., (Eds.), Ablex, Norwood, pp. 109-183.
106. De Kleer, J. And Brown, J.S Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 88-125.
107. De Kleer, J. And Brown, J.S. (1986): Theories of causal ordering.Artificial Intelligence29, pp. 33-62.
108. De Kleer, J. And Brown, J.S. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 646-660.
109. De Kleer, J. And Williams, B.C. (1986): Reasoning about multiple faults. InProc. 5th National Conf. On Artificial Intelligence, Philadelphia, PA, pp. 132-139.
110. De Kleer, J. And Williams, B.C. (1987): Diagnosing multiple faults.Artificial Intelligence32(1), pp. 97-130.
111. De Kleer, J. And Williams, B.C. Also inReadings in Nonmonotonic Reasoning(1987), Ginsberg, M.L., (Ed.), Morgan Kaufmann, pp. 372-388. De Kleer, J. And Williams, B.C. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 100-117.
112. De Kleer, J. And Williams, B.C. (1989): Diagnosis with behavioral modes. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1324-1330
113. De Kleer, J. And Williams, B.C. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 124-130.
114. De Kleer, J. And Brown, J.S. (1992): Model-based diagnosis in SOPHIE III. InReadings in Model-Based Diagnosis (1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 179-205.
115. De Kleer, J., Mackworth, A. And Reiter, R. (1992): Characterizing diagnoses and systems.Artificial Intelligence56(2-3), pp. 197-222. De Kleer, J., Mackworth, A. And Reiter, R. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 54-65.
116. Dean, T. And Boddy, M. (1988): Reasoning about Partially Ordered Events.Artificial Intelligence36, pp. 375-388.
117. Dean, T. And Boddy, M Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 382-393.
118. DeCoste, D. (1990): Dynamic Across-Time Measurement Interpretation. InProc. 8th National Conf. On Artificial Intelligence, Boston, MA, pp. 373-379. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 255-261.
119. DeCoste, D. (1991): Dynamic Across-Time Measurement Interpretation.Artificial Intelligence51(1-3), pp. 273-341.
120. DeCoste, D. And Collins, J. (1991): IQE: An incremental qualitative envisioner.5th Int. Workshop on Qualitative Reasoning about Physical Systems QR’91, Austin, TX, pp. 58-70.
121. Delgado, A., Rakoto-Ravalontsalama, N. And de la Rosa, J.L. (1992): Esprit 2428 IPCES: Prototype 3 simula tion part. In French. Internal report 92108, LAAS-CNRS, Toulouse.
122. Devès, P., Fisher, C. And Taillibert, P. (1991): An alternative to expert systems for electrical diagnosis.Future Generation Computer Systems 1.
123. Djerroud, A., Rousset, M.-C., Godefroy, P. And Garcin, M. (1993): Event-driven causal simulation: Evolution scenarios for waste disposal sites. InQualitative Reasoning and Decision echnologies, Piera Carreté, B. And Singh, M.G., (Eds.), CIMNE, Barcelona, pp. 379-388.
124. Dordan, O. (1992): Mathematical problems arising in qualitative simulation of a differential equation.Artificial Intelligence55, pp. 61-86. '
125. Dordan, O. (1995):Analyse Qualitative.In French. Masson, Paris.
126. Dormoy, J.-L. (1987):Qualitative resolution: Completeness, physical interpretation, and control. Implementation in a rule-based system: BOOJUM.Ph.D. dissertation, Pierre et Marie Curie University, Paris.
127. Dormoy, J.-L. (1988): Controlling Qualitative Resolution. In7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 319-323.
128. Dormoy, J.-L. And Raiman, O. (1988): Assembling a device. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 330-336.
129. Dormoy, J.-L. And Raiman, O Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 306-311.
130. Dressier, O. And Freitag, H. (1994): Prediction Sharing Across Time and Contexts. InProc. 12th Nat. Conf. On Artificial Intelligence, Seattle, WA, pp. 1136-1141.
131. Dressier, O. And Struss, P. (1994): Model-based Diagnosis with the Default-based Diagnosis Engine: Effective Control Strategies that Work in Practice. InProc. 11th European Conf. On Artificial Intelligence, Stockholm, pp. 677-681.
132. Dubois, D. And Prade, H. (1979): Decision-making under fuzziness. InAdvances in fuzzy set theory and applications, Gupta, M.M., Ragade, R.K. And Yager, R.R., (Eds.), North-Holland, pp. 279-303.
133. Dubois, D. And Prade, H. (1987):Théorie des Possibilités - Applications à la Représentation des Connaissances en Informatique.In French. 2nd edition, Masson, Paris.
134. Dubois, D. And Prade, H. (1989): Order of magnitude reasoning with fuzzy relations. InProc. IFAC/IMACS/IFORS Int. Symposium on Advanced Information Processing in Automatic Control, Nancy. Also inRevue d’intelligence Artificielle4(3), pp. 69-94.
135. Dvorak, D. And Kuipers, B.J. (1989): Model-Based Monitoring of Dynamic Systems. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1238-1243. Dvorak, D. And Kuipers, B.J. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 249-254.
136. Dvorak, D. (1992):Monitoring and Diagnosis of Continuous Dynamic Systems Using Semiquantitative Simulation.Ph.D. dissertation, Austin, TX. Available as technical report AI92-170.
137. Everett, J.O. (1995): A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. InProc. 14th Int. Joint Conf. On Artificial Intelligence, Montreal, pp. 1837-1843.
138. Falkenhainer, B. And Forbus, K.D. (1988): Setting up large-scale qualitative models. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 301-306.
139. Falkenhainer, B. And Forbus, K.D. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 553-558.
140. Falkenhainer, B. And Forbus, K.D. (1991): Compositional modeling: Finding the right model for the job.Artificial Intelligence51, pp. 95-143.
141. Fairings, B. (1987): Qualitative Kinematics in Mechanisms. InProc. 10th Int. Joint Conf. On Artificial Intelligence, Milan, pp. 436-442. Fairings, B.Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 568-574.
142. Fairings, B. (1992): A Symbolic Approach to Qualitative Kinematics.Artificial Intelligence56, pp. 139-170.
143. Fairings, B. And Sun, K. (1993): Computer-aided Creative Mechanism Design. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1451-1457.
144. Farquhar, A. (1993):Automated Modeling of Physical Systems in the Presence of Incomplete Knowledge.Ph.D. dissertation, university of Austin, TX. Available as technical report 193-207.
145. Farquhar, A. (1994): A Qualitative Physics Compiler. InProc. 12th National Conf. On Artificial Intelligence, Seattle, WA, pp. 1168-1174.
146. Féray Beaumont, S., Leyval, L. And Gentil, S. (1989): Declarative modelling for process supervision.Revue d’intelligence Artificielle3(4), pp. 135-150.
147. Finch, F.E., Oyeleye, O.O. And Kramer, M.A. (1990): A robust event-oriented methodology for diagnosis of dynamic process systems.Computers and Chemical Engineering14(12), pp. 1379-1396.
148. Forbus, K.D. (1984): Qualitative Process Theory.Artificial Intelligence24(1-3), pp. 85-168. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 178-219.
149. Forbus, K.D. (1985): The Role of Qualitative Dynamics in Naive Physics. InFormal Theories of the Commonsense World(1985), Hobbs, J. And Moore, R., (Eds.), Ablex, Norwood, pp. 185-226.
150. Forbus, K.D. And Gentner, D. (1986): Causal Reasoning about Quantities. InProc. 8th Annual Conf. Of the Cognitive Science Society, Amherst, MA, pp. 196-207. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 666-677.
151. Forbus, K.D. (1987): Interpreting Observations of Physical Systems.IEEE Trans, on Systems, Man, and Cybernetics17(3), pp. 350-359. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 441-450.
152. Forbus, K.D., Nielsen, P. And Fairings, B. (1987): Qualitative Kinematics: A Framework. InProc. 10th Int. Joint Conf. On Artificial Intelligence, Milan, pp. 430-436. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 562-567.
153. Forbus, K.D. (1988): Qualitative Physics: Past, Present and Future. InExploring Artificial Intelligence, Shrobe, H. And AAAI, (Eds.), Morgan Kaufmann, pp. 239-296. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 11-39.
154. Forbus, K.D. (1990): The Qualitative Process Engine, InReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 220-235.
155. Forbus, K.D. And Falkenhainer, B. (1990): Self-Explanatory Simulations: An integration of qualitative and quantitative knowledge. InProc. 8th National Conf. On Artificial Intelligence, Boston, MA, pp. 380-387. Also inRecent Advances in Qualitative Physics(1992), Fairings, B. And Struss, P., (Eds.), MIT Press, pp. 49-65.
156. Forbus, K.D., Nielsen, P. And Fairings, B. (1991): Qualitative Spatial Reasoning: The Clock Project.Artificial Intelligence51, pp. 417-471.
157. Forbus, K.D. (1992): Pushing the edge of the (QP) envelope. In Recent Advances in Qualitative Physics, Fairings, B. And Struss, P., (Eds.), MIT Press, pp. 245-261.
158. Forbus, K.D. And Falkenhainer, B. (1992): Self-explanatory simulations: Scaling up to large models. InProc. 10th National Conf. On Artificial Intelligence, San Jose, CA, pp. 685-690.
159. Forbus, K.D. And de Kleer, J. (1993):Building Problem Solvers.MIT Press.
160. Forbus, K.D. And Whalley, P.B. (1994): Using qualitative physics to build articulate software for thermodynamics education. InProc. 12th National Conf. On Artificial Intelligence, Seattle, WA, pp. 1175-1182.
161. Forbus, K.D. And Whalley, P.B Formal Theories of the Commonsense World(1985): Hobbs, J. And Moore, R. (Eds.), Ablex, Norwood
162. Forrester, J.W. (1961):Industrial dynamics.MIT Press, Cambridge.
163. Fouché, P. (1992):Towards a Unified Framework for Qualitative Simulation.Ph.D. dissertation, Technology University, Compiègne.
164. Fouché, P. And Kuipers, B.J. (1992): Reasoning about energy in qualitative simulation.IEEE Trans, on Systems, Man, and Cybernetics22(1), pp. 47-63.
165. Foulkes, N.R., Walton, M.J., Andow, P.K. And Galluzzo, M. (1988): Computer aided synthesis of complex pump and valve operations.Computers and Chemical Engineering 12(9-10), pp. 1035-1044.
166. Foulloy, L. (1993): Qualitative control and fuzzy control: Towards a writing methodology.AI communications6(3-4), pp. 147-154.
167. Franke, D. And Dvorak, D. (1990): CC: Component-connection models for qualitative simulation - a user’s guide. Technical report AI90-126, University of Texas, Austin, TX.
168. Franke, D. (1991): Deriving and Using Descriptions of Purpose.IEEE Expert6(2), pp. 48-57.
169. Franke, D. (1993):A Theory of Teleology.Ph.D. dissertation, University of Texas, Austin, TX. Available as technical report 193-201.
170. Freuder, E.C. (1978): Synthesizing Constraint Expressions.CACM21(11), pp. 958-966.
171. Fusillo, R.H. And Powers, G.J. (1988): Operating procedure synthesis using local models and distributed go:ds.Computers and Chemical Engineering12(9-10), pp. 1023-1034.
172. Gallanti, M., Gilardoni, L., Guida, G. And Stefanini, A. (1987): Exploiting physical and design knowledge in the diagnosis of complex industrial systems.Advances in Artificial Intelligence II, Elsevier Scient. Publishers, pp. 481-495.
173. Gallanti, M., Roncato, M., Stefanini, A. And Tomielli, G. (1989): A diagnostic algorithm based on Models at Different level of abstraction. InProc. Ilth Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1350-1355.
174. Galton, A. (1993): Towards an Integrated Logic of Space, Time and Motion. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1550-1555.
175. Gelsey, A. (1987): Automated Reasoning about Machine Geometry and Kinematics. InProc. 3rd IEEE Conf. On AI Applications, Orlando, FL, pp. 182-187. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 580-591.
176. Genesereth, M. (1982): Diagnosis using hierarchical design models. InProc. 2nd National Conf. On Artificial Intelligence, Pittsburgh, PA, pp. 278-283.
177. Genesereth, M. (1984): The use of design descriptions in automated diagnosis.Artificial Intelligence24(1), pp. 411-436.
178. Genesereth, M. Also inQualitative Reasoning about Physical Systems, Bobrow, D., (Ed.), North-Holland, Amsterdam (1984)/MIT Press, Cambridge, MA (1985). Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds), Morgan Kaufmann, pp. 328-340.
179. Giavelli, G., Rossi, O. And Siri, E. (1988): Stability of natural community: Loop analysis and computer simulation approach.Ecological Modelling40, pp. 131-143.
180. Giunchiglia, F. And Walsh, T. (1989): Abstract Theorem Proving. InProc. Ilth Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 372-377.
181. Goel, A.K., de Silva Garza, A.G., Pittges, J., Shankar, M. And Stroulia, E. (1993): Model-based Redesign: Indexing Causal Mechanisms and Qualitative Equations.IJCAI's Workshop on Artificial Intelligence in Design, Chambery, pp. 29-35.
182. Goldstone, D.J. (1991): Controlling inequality reasoning in a TMS-based analog diagnosis system. InProc. 9th National Conf. On Artificial Intelligence, Anaheim, CA, pp. 512-517. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 206-211.
183. Grantham, S.D. And Ungar, L.H. (1991): Comparative analysis of qualitative models when the model changes.AIChE Journal37(6), pp. 931-943.
184. Greiner, R., Smith, B.A. And Wilkerson, R.W. (1989): A correction to the algorithm in Reiter’s theory of diagnosis.Artificial Intelligence41(1), pp. 79-88. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 49-53.
185. Guerrin, F. (1991): Qualitative reasoning about an ecological process: Interpretation in Hydroecology.Ecological Modelling59(3-4), pp. 165-201.
186. Guerrin, F. (1992): Qualitative Reasoning about artificial ecological systems foe design and supervision purposes: The SuperEco program. InProc. 12th Int. Conf. Artificial Intelligence, Expert Systems, Natural Language, 2, Avignon, EC2, pp. 763-776.
187. Guerrin, F. (1992): Model-based interpretation of measurements, analyses and observations of an ecological process.AI Applications6(3), pp. 89-101.
188. Guerrin, F., Bousson, K., Steyer, J.-P. And Travé-Massuyès, L. (1994): Qualitative reasoning methods for CELSS modeling.Advances in Space Research14(11), pp. 307-312.
189. Guerrin, F., Delgenès, J.-P. And Moietta, R. (1994): Modeling the alcoholic fermentation of xylose byPichia stipi-tisusing a qualitative reasoning approach.Bioprocess Engineering10(3), pp. 115-122.
190. Hamscher, W. And Davis, R. (1984): Diagnosing circuits with state: An inherently underconstrained problem. InProc. 4th National Conf. On Artificial Intelligence, Austin, TX, pp. 142-147.
191. Hamscher, W. (1991): ACP: Reason maintenance and inference control for constraint propagation over intervals. InProc. 9th National Conf. On Artificial Intelligence, Anaheim, CA, pp. 506-511. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 212-217.
192. Hamscher, W. (1991): Modeling digital circuits for troubleshooting.Artificial Intelligence51(1-3), pp. 223-271.
193. Hamscher, W Also inQualitative Reasoning About Physical Systems II, de Kleer, J. And Williams, B.C., (Eds.), (Elsevier, 1991/MIT Press 1992).
194. Hamscher, W Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 283-308.
195. Hardy, G.H. (1910):Orders of Infinity.Cambridge University Press.
196. Hayes, P. (1979): The Naive Physics Manifesto. InExpert Systems in the Microelectronic Age, Michie, D., (Ed.), Edinburgh University Press, pp. 242-270.
197. Hayes, P. (1985): The Second Naive Physics Manifesto. InFormal Theories of the Commonsense World(1985), Hobbs, J. And Moore, R., (Eds.), Ablex, Norwood, pp. 1-36.
198. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 46-63.
199. Hayes, P. (1985): Naive Physics 1: Ontology for Liquids. InFormal Theories of the Commonsense World(1985), Hobbs, J. And Moore, R., (Eds.), Ablex, Norwood, pp. 7190.
200. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 484-502. Hendrix, G. (1973): Modeling Simultaneous Actions and Continuous Processes.Artificial Intelligence4, pp. 145-0180.
201. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 64-81.
202. Henke, J.M. And Kleinberg, E.M. (1979):Infinitesimal calculus.MIT Press, Cambridge, MA.
203. Hobbs, J.R. (1985): Granularity. InProc. 9th Int. Joint Conf. On Artificial Intelligence, Los Angeles, CA, pp. 432-436. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 542-545.
204. Holtzblatt, L.J., Neiberg, M.J., Piazza, R.L. And Vilain, M.B. (1994): Temporal methods: Multi-dimensional modeling of sequential circuits. InAnnals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis, Console, L. And Friedrich, G., (Eds.), Golumbic, M.C., (Ed.-in-chief), 11(1-4), J.C. Baltzer AG, pp. 399_413.
205. Hoskins, R.F. (1990):Standard and nonstandard Analysis.Ellis Horwood Ltd.
206. Hunt, J.E. And Cooke, D.E. (1992): Qualitatively modelling photosynthesis. Technical report, University of Wales, Aberystwyth.
207. Hyvönen, E. (1992): Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach.Artificial Intelligence58, pp. 71-112.
208. Hyvönen, E International Workshop on Qualitative Reasoning about Physical Systems, 1st to 9th (1987-1995):QR’87, Urbana Champaign, IL, QR’88, Paris, QR’89, Palo Alto, CA, QR’90, Lugano, QR’91, Austin, TX, QR’92, Edinburgh, QR'93, Rosario, WA, QR’94, Nara, QR’95, Amsterdam, working papers.
209. Hyvönen, E International Workshop on Principles of Diagnosis, 0 to 6th(1989-1995): DX’89, Paris, DX’90, Stanford, DX’91, Milan, DX’92, Rosario, WA, DX’93, Aberystwyth, DX’94, New Paltz, NY, DX’95, Goslar, working papers.
210. Iri, M., Aoki, K., O’Shima, E. And Matsuyama, H. (1979): An algorithm for diagnosis of system failures in the chemical process.Computers &Chemical Engineering3, pp. 489-493.
211. Ishida, Y. (1988): An application to qualitative reasoning to process diagnosis: Automatic rule generation by qualitative simulation. InProc. 4th Conf. On AI Applications, San Diego, CA, IEEE computer society press.
212. Iwasaki, Y. And Simon, H.A. (1986): Causality in device behavior.Artificial Intelligence29(1-3), pp. 3-32.
213. Iwasaki, Y. And Simon, H.A Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 631-645.
214. Iwasaki, Y. And Simon, H.A. (1986): Theories of causal ordering: Reply to de Kleer &Brown.Artificial Intelligence29(1-3), pp. 63-72.
215. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 661-665.
216. Iwasaki, Y. (1988): Causal ordering in a mixed structure. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 313-318.
217. IYwasaki, Y. (1990): Reasoning with multiple abstraction models.Workshop on Automatic Generation of Approximations and Abstractions, Ellman, T., Keller, R. And Mostow, J., (Eds.), pp. 122-134.
218. IYwasaki, Y. Also inRecent Advances in Qualitative Physics(1992), Fairings, B. And Struss, P., (Eds.), MIT Press, pp. 67-82.
219. Iwasaki, Y. And Levy, A.Y. (1994): Automated Model Selection for Simulation. InProc. 12th Nat. Conf. On Artificial Intelligence, Seattle, pp. 1183-1190.
220. Iwasaki, Y. And Simon, H.A. (1994): Causality and model abstraction.Artificial Intelligence67(1), pp. 143-194.
221. Iwasaki, Y., Farquhar, A., Saraswat, V., Bobrow, D. And Gupta, V. (1995): Modeling Time in Hybrid Systems: How Fast Is “Instantaneous”?. InProc. 14th Int. Joint Conf. On Artificial Intelligence, Montreal, pp. 1773-1780.
222. Joskowicz, L. (1987): Shape and Function in Mechanical Devices. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 611-615.
223. Joskowicz, L. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 575-579.
224. Joskowicz, L. And Addanki, S. (1988): From Kinematics to Shape: An Approach to Innovative Design.7th National Conf. On Artificial Intelligence, St. Paul, Minn, pp. 347352'.
225. Joskowicz, L. (1989): Reasoning about the kinematics of mechanical devices.Artificial Intelligence in Engineering4(1), pp. 22-31.
226. Joskowicz, L. (1989): Simplification and Abstraction of Kinematic Behaviors. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1337-1342.
227. Joskowicz, L. Also inReadings in Qualitative Reasoning About Physical Systems (1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 597-602.
228. Joskowicz, L. And Sacks, E.P. (1991): Computational Kinematics.Artificial Intelligence51, pp. 381-416.
229. Joskowicz, L. And Sacks, E. (1993): Automated modeling and kinematic simulation of mechanisms.Computer Aided Design25(2), pp. 106-118.
230. Kamerbeek, J. (1993): Generating simulators from causal process knowledge.European Simulation Symposium, Delft.
231. Kamopp, D.C. And Rosenberg, R.C. (1968):Analysis and Simulation of Multiport Systems: The Bond Graph Approach to Physical System Dynamics.MIT Press, Cambridge, MA.
232. Kamopp, D.C, Margolis, D.L. And Rosenberg, R.C. (1990):Systems Dynamics: A Unified Approach.John Wiley and Sons, NY, 2nd edition (1st edition in 1975).
233. Karp, P.D. And Friedland, P. (1989): Coordinating the use of qualitative and quantitative knowledge in declarative device modeling. InArtificial Intelligence, Simulation and Modeling, Widman, L.E., Loparo, K.A. And Nielson, N.R. (Eds.), John Wiley and Sons.
234. Kay, H. And Kuipers, B.J. (1993): Numerical Behavior Envelopes for Qualitative Models. InProc. Ilth National Conf. On Artificial Intelligence, Washington, DC, pp. 606-613.
235. Kuipers, B.J. (1984): Commonsense reasoning about causality: Deriving behavior from structure.Artificial Intelligence24, pp. 169-203.
236. Kuipers, B.J. And Kassirer, J.P. (1984): Causal reasoning in medicine: Analysis of a protocol.Cognitive Science8, pp. 363-385.
237. Kuipers, B.J. And Kassirer, J.P. (1985): Qualitative simulation in medical physiology: A progress report. Technical report TM-280, MIT, Cambridge, MA.
238. Kuipers, B.J. (1986): Qualitative Simulation.Artificial Intelligence29, pp. 289-338.
239. Kuipers, B.J. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 236-260.
240. Kuipers, B.J. (1987): Abstraction by time scale in qualitative simulation. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 621-625.
241. Kuipers, B.J. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 530-534.
242. Kuipers, B.J. And Chiu, C. (1987): Taming intractable branching in qualitative simulation. InProc. 10th Int. Joint Conf. On Artificial Intelligence, Milan, pp. 1079-1085. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds), Morgan Kaufmann, pp. 261-267.
243. Kuipers, B.J. (1988): Qualitative simulation using rimescale abstraction.Int. J. Artificial Intelligence in Engineering3(4), pp. 185-191.
244. Kuipers, B.J. (1988): The qualitative calculus is sound but incomplete: A reply to Peter Struss.Int. J. Artificial Intelligence in Engineering3(3), pp. 170-173.
245. Kuipers, B.J. And Berleant, D. (1988) Using Incomplete Quantitative Knowledge in Qualitative Reasoning. InProc. 7th National Conf. On Artificial Intelligence, St. Paul, Minn, pp. 324-329.
246. Kuipers, B.J. (1989): Qualitative reasoning: Modeling and simulation with incomplete knowledge.Automatica25(4), pp. 571-585.
247. Kuipers, B.J., Chiu, C., Dalle Molle, D.T. And Throop, D.R. (1991): Higher-Order Derivative Constraints in Qualitative Simulation.Artificial Intelligence51, pp. 343-379.
248. Kuipers, B.J. (1993): Qualitative simulation: Then and now.Artificial Intelligence59, pp. 133-140.
249. Kuipers, B.J. (1993): Reasoning with qualitative models.Artificial Intelligence59, pp. 125-132.
250. Kuipers, B.J. (1994):Qualitative Reasoning - Modeling and Simulation with Incomplete Knowledge.MIT Press, Cambridge, MA.
251. Kuipers, B.J. And Shults, B. (1994): Reasoning in Logic about Continuous Systems. InProc. 4th Int. Conf. On Principles of Knowledge Representation and Reas oning, Bonn, pp. 391-402.
252. Lackinger, F. And Nejdl, W. (1993): Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning.IEEE Expert8(1), pp. 33-40.
253. Lancaster, K. (1962): The scope of qualitative economics.Rev. Econ. Stud.29, pp. 99-123.
254. Lancaster, K. (1966): The solution of qualitative comparative static problems.Q. J. Econ.80, pp. 278-295.
255. Lee, L. And Van Emden, M.H. (1993): Interval computations as deduction in CHIP.Journal of Logic Programming16(3-4), pp. 255-276.
256. Lee, W.W. And Kuipers, B.J. (1988): Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation. InProc. 7th National Conf. On Artificial Intelligence, St. Paul, Minn, pp. 286-290.
257. Lee, W.W. And Kuipers, B.J Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 268-272.
258. Lee, W.W. (1993):A Qualitative Simulation Based Method to Construct Phase Portraits.Ph.D. dissertation, university of Texas, Austin, TX. Available as technical report AI93-194.
259. Lee, W.W. And Kuipers, B.J. (1993): A qualitative method to construct phase portraits. InProc. 11th National Conf. On Artificial Intelligence, Washington, DC, pp. 614-619.
260. Leitch, R., Wiegand, M. And Quek, H. (1990): Coping with Complexity in Physical System Modelling.Artificial Intelligence Communications3(2), pp. 48-57.
261. Leitch, R. And Shen, Q. (1992): Application Studies of Fuzzy Qualitative Simulation. InMathematics; of the Analysis and Design of Process Control, Borne, P. And Tzafes-tas, S.G., (Eds.), Elsevier.
262. Leitch, R. And Shen, Q. (1993): Qualitative Model Based Diagnosis of a Continuous Process.Int. Conf. On AI Engineering, Toulouse.
263. Leitch, R. And Shen, Q. (1993): Prioritising Behaviours in Qualitative Simulation. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 1523-1529.
264. Lepetit, M. And Vemet, D. (1987): Physique qualitative et contrôle de processus. InProc. 7th Int. Conf. On Expert Systems and their Applications, Avignon, EC2, pp. 1229— 1248.
265. Leyval, L. And Gentil, S. (1991): On line event based simulation through a causal graph.1MACS Workshop on Qualitative Reasoning and Decision Support Systems, Toulouse.
266. Leyval, L., Ledoux, A. (1991): Simulation for a nuclear retreatment facility.Symposium on Fault Detection, Supervision and Safety for Technical Processes, Baden-Baden.
267. Leyval, L., Montmain, J. And Gentil, S. (1994): Qualitative analysis for decision-making in supervision of industrial continuous processes.IMACS Journal on Mathematics and Computers in Simulation.
268. Lhomme, O. (1993): Consistency techniques for numeric CSPs. InProc. 13th Int. Joint Conf. On Artificial Intelligence, Chambery, pp. 232-238.
269. Lhomme, O. (1993): K-Consistency like methods for numeric CSPs. 3rd Workshop on Constraint Logic Program ming, Marseilles, March 17-19.
270. Lhomme, O. (1994):Contribution à la résolution de contraintes sur les réels par propagation d’intervalles.In French. Ph.D. dissertation, University of Nice - Sophia Antipolis.
271. Liu, Z.Y. And Farley, A.M. (1991): Structural aggregation in common-sense reasoning. InProc. 9th National Conf. On Artificial Intelligence, Anaheim, CA, 1991, pp. 868-873.
272. Lucas, B. And Evrard, J.-M. (1993): An Improved Diagnosis Method using a Mixed Model. InProc. Int. Conf. On Fault Diagnosis Tooldiag'93, Toulouse, pp. 1071-1079.
273. Lucas, B. (1994):Méthode d’aide à la modélisation par graphes de liaison et utilisation pour le diagnostic qualitatif de systèmes physiques.In French. Ph.D. dissertation, Paris 11 University, Orsay.
274. Lutz, R. And Goze, M. (1981):Non standard analysis: A practical guide with applications.Lecture Notes in Math. 881, Springer-Verlag.
275. Mackworth, A.K. (1977): Consistency in Network of Relations.Artificial Intelligence8(1), pp. 99—118.
276. Malin, J., Basham, B.D and Harris, R.A. (1990): Use of qualitative models in discrete event simulation to analyze malfunctions in processing systems. InArtificial Intelligence in Process Engineering, Mavrovouniotis, M.L., (Ed.), Academic Press, Boston, pp. 37-79.
277. Marti, P. And Rueher, M. (1994): A multi solver approach for solving numeric constraints. Technical report, University of Nice - Sophia Antipolis.
278. Mavrovouniotis, M.L. And Stephanopoulos, G. (1987): Reasoning with orders of magnitude and approximate relations. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 626-630.
279. Mavrovouniotis, M.L. And Stephanopoulos, G. (1988): Formal order of magnitude reasoning in process engineering.Comput. Chem. Engng.12(9-10), pp. 867-880.
280. May, R.M. (1973): Qualitative stability in model ecosystems.Ecology54(3), pp. 638-641.
281. Maybee, J. (1981): Sign solvability. InComputer Assisted Analysis and Model Simplification, Greenberg, H. And Maybee, J., (Eds.), Academic Press.
282. Mental models (1983): Gentner, G. And Stevens, A., (Eds.), Erlbaum, Hillsdale, NJ.
283. Milne, R. (1992): Petroleum Applications: How Do We Realise The Potential?Revue de l'Institut Français du Pétrole47(3).
284. Milne, R. (1992): On-Line Diagnostic Expert System For Gas Turbines.4th Int. Profitable Condition Monitoring Conf., Stratford-upon-Avon.
285. Milne, R. And Travé-Massuyès, L. (1993): Real Time Model Based Diagnosis of Gas Turbines.AIENG'93 Int. Conf, Toulouse.
286. Milne, R. et al. (1994): TIGER: Real Time Situation Assessment of Dynamic Systems.Intelligent Systems Engineering Journal3(3).
287. Missier, A., Piera, N. And Travé-Massuyès, L. (1989): Order of Magnitude Algebras: A Survey.Revue d’intelligence Artificielle4(3), pp. 95-109.
288. Missier, A. (1991):Structures mathématiques pour le calcul qualitatif, contribution à la simulation qualitative.In French. Ph.D. dissertation, Institut National des Sciences Appliquées, Toulouse.
289. Missier, A., Zimmer, L., Jezequel, P. And Travé-Massuyès, L. (1993): The Squale qualitative simulator: Potentialities for diagnosis. InProc. Int. Conf. On Fault Diagnosis Tooldiag’93, Toulouse, pp. 1054-1062.
290. Missier, A. (1994): Order of Growth Concepts. Internal report 94002, LAAS-CNRS, Toulouse.
291. Missier, A., Xanthakis, S. And Travé-Massuyès, L. (1994): Qualitative Algorithmics using Order of Growth Reasoning. InProc. 11th European Conf. On Artificial Intelligence, Amsterdam, pp. 750-754.
292. Mohindra, S. And Clark, P.A. (1993): A distributed fault diagnosis method based on digraph models: Steady-state analysis.Computers and Chemical Engineering17(2), pp. 193— 209.
293. Montbrun-Di Filippo, J., Delgado, M., Brie, C. And Paynter, H.M. (1991): A Survey of Bond Graphs: Theory, Applications and Programs.J. Franklin Institute328(5/6), pp. 565-606.
294. Montmain, J., Leyval, L. And Gentil, S. (1990): On line qualitative interpretation of a dynamic simulation for diagnosis.Symposium on Mathematical and Intelligent Models in System Simulation, Brussels.
295. Montmain, J. And Gentil, S. (1991): Qualitative Event Analysis for Fault Diagnosis Fault Detection.Supervision and Safety for technical Processes, September 10-13, Baden-Baden.
296. Montmain, J. And Gentil, S. (1993): Decision-making in Fault Detection: A fuzzy Approach. InProc. Int. Conf. On Fault Diagnosis Tooldiag’93, Toulouse, pp. 653-660.
297. Moore, A.D. And Noble, I.R. (1990): An individualistic model of vegetation stand dynamics.Journal of Environmental Management31, pp. 61-81.
298. Moore, A.D. And Noble, I.R. (1993): Automatic model simplification: The generation of replacement sequences and their use in vegetation modelling.Ecological Modelling70, pp. 137-157.
299. Moore, R.E. (1966):Interval Analysis.Prentice Hall, NJ.
300. Moore, R.E. (1979):Methods and Applications of Interval Arithmetic.Studies in Applied Mathematics, SIAM, Philadelphia.
301. Mozetic, I. (1987): The Role of Abstractions in Learning Qualitative Models. InProc. 4th Int Workshop on Machine Learning, Irvine, CA, pp. 242-255.
302. Mozetic, I. And Holzbaur, C. (1991): Integrating Qualitative and Numerical Models within Constraint Logic Programming.First European Workshop on Qualitative Reasoning about Physical Systems, Genoa.
303. Mozetic, I. (1992): A polynomial-Time Algorithm for Model-Based Diagnosis. InProc. 10th European Conf. On Artificial Intelligence, Vienna, pp. 729-733.
304. MQ&D (1995):Raisonnement Qualitatif pour les Sciences de l'Ingénieur.In French. To be published in Masson, Paris.
305. Murthy, S.S. (1988): Qualitative reasoning at multiple resolutions. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 296-300.
306. Navichandran, D., Sycara, K.P. And Narasimhan, S. (1991): A Transformational Approach to Case-Based Synthesis.AI EDAM5(1), pp. 31-45.
307. Nayak, P.P. (1992): Causal approximations. InProc. 10th National Conf. On Artificial Intelligence, San Jose, CA, pp. 703-709.
308. Nayak, P.P. (1992): Order of Magnitude Reasoning using Logarithms. InProc. 3rd Int. Conf. On Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 201-210.
309. Nayak, P.P. (1992):Automated Modeling of Physical Systems.Ph.D. dissertation, Stanford university.
310. Nayak, P.P., Joskowicz, L. And Addanki, S. (1992): Automated model selection using context-dependent behaviors. InProc. I Oh National Conf. On Artificial Intelligence, San Jose, CA, pp. 710-716.
311. Neitzke, M. And Neumann, B. (1994): Simulating Physical Systems with Relative Descriptions of Parameters. InProc. 11th European Conf. On Artificial Intelligence, Amsterdam, pp. 672-676.
312. Neitzke, M. And Neumann, B. (1994): Comparative Simulation. InProc. 12th National Conf. On Artificial Intelligence, Seattle, WA, pp. 1205-1210.
313. Nejdl, W. And Gamper, J. (1994): Harnessing the Power of Temporal Abstractions in Model Based Diagnosis of Dynamic Systems. InProc. 11th European Conf. On Artificial Intelligence, Amsterdam, pp. 667-671.
314. Nelson, E. (1977): Internal set theory. Bull. Amer. Math. Soc.83, pp. 1165-1198.
315. Neville, D. And Joskowicz, L. (1992): A Representation Language for Conceptual Mechanism Design.6th Int. Workshop on Qualitative Reasoning about Physical Systems QR’92, Edinburgh, pp. 96-108.
316. Neville, D. And Weld, D.S. (1993): Innovative Design as Systematic Search.7th Int. Workshop on Qualitative Reasoning About Physical Systems QR’93, Rosario, WA, pp. 167-172.
317. Ng, H.T. (1990): Model-based, multiple fault diagnosis of time-varying, continuous physical devices. InProc. 6th IEEE Conf. On AI Applications, Santa Barbara, CA, pp. 915.
318. Ng, H.T. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 242-248.
319. Ng, H.T. (1991): Model-based, multiple fault diagnosis of dynamic, continuous physical devices.IEEE Expert6(6), pp. 38-43.
320. Nielsen, P. (1988): A Qualitative Approach to Mechanical Constraint. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 270-274.
321. Nielsen, P. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 592-596.
322. Nishida, T. And Doshita, S. (1987): Reasoning about discontinuous change. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 643-648. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 278-283.
323. Nishida, T. And Doshita, S. (1991): A geometric approach to total envisioning. InProc. 12th Int. Joint Conf. On Artificial Intelligence, Sydney, pp. 1150-1155.
324. Nishida, T., Mizutani, K., Kubota, A. And Doshita, S. (1991): Automated phase portrait analysis by integrating qualitative and quantitative analysis. InProc 9th National Conf. On Artificial Intelligence, Anaheim, CA, pp. 811-816.
325. Nishida, T. (1993): Generating quasi-symbolic representation of three-dimensional flow. InProc. 11th National Conf. On Artificial Intelligence, Washington, DC, pp. 554-559.
326. Nishida, T. (1994): Qualitative Reasoning for Automated Exploration for Chaos. InProc. 12th Nat. Conf. On Artificial Intelligence, Seattle, pp. 1211-1216.
327. Odum, H.T. (1976): Macroscopic minimodels of man and nature. InSystems Analysis and Simulation in EcologyIV, Patten, B.C., (Ed.), Academic Press, NY, pp. 249-280.
328. Odum, H.T. (1983):Systems Ecology.Wiley-Interscience, NY.
329. Older, W. And Vellino, A. (1990): Extending Prolog With Constraint Arithmetic on Intervals, IEEE Canadian Conf. On Electrical and Computer Engineering.
330. Older, W. (1993): Solving optimization problems in CLP(BNR).3rd Workshop on Constraint Logic Programming, Marseilles, March 17-19.
331. Oyeleye, O. And Kramer, M. (1988): Qualitative simulation of chemical process systems: Steady-state analysis.AIChE Journal34(9), pp. 1441-1454.
332. Oyeleye, O., Finch, F. And Kramer, M. (1990): Qualitative modeling and fault diagnosis of dynamic processes by MIDAS.Chemical Engineering Communications96, pp. 205-228.
333. Oyeleye, O., Finch, F. And Kramer, M Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 262-275.
334. Pan, J. (1984): Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures. InProc. 1st IEEE Conf. On AI Applications, Denver, CO, pp. 295-301
335. Pan, J. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 318-324.
336. Patten, B.C., Bosserman, R.W., Finn, J.T. And Cale, W.G. (1976): Propagation of cause in ecosystems. InSystems Analysis and Simulation in EcologyIV, Patten, B.C., (Ed.), Academic Press, NY, pp. 457-579.
337. Paynter, H.M. (1961):Analysis and Design of Engineering Systems.MIT Press, Cambridge, MA.
338. Pénalva, J.-M., Coudouneau, L., Leyval, L. And Montmain, J. (1991): Diapason, un système d’aide à la supervision. In French. InProc. 11th Int. Conf. On Expert Systems and their Applications, 2nd Generation Expert Systems Conference, EC2, Avignon, pp. 41-52.
339. Pénalva, J. M., Coudouneau, L., Leyval, L. And Montmain, J. (1993): DIAPASON: A Supervision Support System.IEEE Expert Intelligent Systems and their Applications8(5).
340. Piera, N. And Travé-Massuyès, L. (1989): About qualitative equality: Axioms and properties. InProc. 9th Int. Conf. On Expert Systems and their Applications, 2nd Generation Expert Systems Conference, EC2, Avignon, pp. 73-87.
341. Piera, N., Sanchez, M. And Travé-Massuyès, L. (1991): Qualitative Operators for Order of Magnitude Calculers: Robustness and Precision. InProc. 43th ¡'MACS World Congress on Computation and Applied Mathematics, Dublin, pp. 1-6.
342. Poole, D. (1989): Normality and faults in logic-based diagnosis. InProc. Ilth Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1304-1310.
343. Poole, D. Also inReadings in Model-Based Diagnosis, Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann (1992), pp. 71-77.
344. Puccia, C.J. And Levins, R. (1985):Qualitative modeling of complex systems - An introduction to loop analysis and time averaging.Technical report. Harvard University Press, Cambridge, MA.
345. Raiman, O. (1986): Order of magnitude reasoning, InProc. 5th National Conf. On Artificial Intelligence, Philadelphia, PA, pp. 100-104. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 318-322.
346. Raiman, O. (1991): Order of magnitude reasoning, Artificial Intelligence51, pp. 11-38.
347. Raiman, O. And Williams, B.C. (1992): Caricatures: Generating Models of Dominant Behavior.6th Int. Workshop on Qualitative Reasoning About Physical Systems QR’92, Edinburgh.
348. Rakoto-Ravalontsalama,., Missier, A. And Kikkert, J.S. (1992): Qualitative operators and process engineer semantics of uncertainty. InLecture Notes in Computer Science 682, IPMU’92 - Advanced Methods in Artificial Intelligence, Bouchon-Meunier, B., Valverde, L. And Yager, R.R., (Eds.), Springer-Verlag, pp. 284-293.
349. Rakoto-Ravalontsalama, N. And Aguilar-Martin, J. (1994): Knowledge-Based Modelling of a TV-tube Manufacturing Process. InPreprints of 2nd IFAC Workshop on CSS Integrating AI/KBS in Process Control, Lund.
350. Randeil, D.A., Cui, Z. And Cohn, A.G. (1992): An Interval Logic for Space based on ‘Connections’. InProc. 10th European Conf. On Artificial Intelligence, Vienna, pp. 394-398.
351. Randell, D.A., Cui, Z. And Cohn, A.G. (1992): A Spatial Logic based on Regions and Connection. InProc. 3rd Int. Conf. On Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 165-176.
352. Randell, D.A., Cui, Z. And Cohn, A.G. Readings in Qualitative Reasoning about Physical Systems (1990): Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, San Mateo, CA.
353. Randell, D.A., Cui, Z. And Cohn, A.G. Readings in Model-Based Diagnosis(1992): Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, San Mateo, CA.
354. Randell, D.A., Cui, Z. And Cohn, A.G. Recent Advances in Qualitative Physics(1992): Fairings, B. And Struss, P., (Eds.), MIT Press. Contains all papers ofQR'90and some papers ofQR’89.
355. Reiter, R. (1987): A theory of diagnosis from first principles.Artificial Intelligence32(1), pp. 57-96.
356. Reiter, R. Also inReadings in Nonmonotonic Reasoning(1987) Ginsberg, M.L., (Ed.), Morgan Kaufmann. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 29-48.
357. Rickel, J. And Porter, B. (1992): Automated modeling for answering prediction questions: Exploiting interaction paths.6th Int. Workshop on Qualitative Reasoning about Physical Systems QR’92, Edinburgh, pp. 82-95.
358. Rickel, J. And Porter, B. (1994): Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary. InProc. 12th Nat. Conf. On Artificial Intelligence, Seattle, pp. 1191-1198.
359. Ritschard, G. (1983): Computable qualitative comparative statics techniques.Econometrica51(4), pp. 1145-1168.
360. Robinson, A. (1966):Nonstandard analysis.North-Hol-land, Amsterdam (2nd revised edition in 1974).
361. Rose, P. And Kramer, M.A. (1991): Qualitative analysis of causal feedback. InProc. 9th National Conf. On Artificial Intelligence, Anaheim, CA, pp. 817-823.
362. Rosenberg, R.C. And Kamopp, D.C. (1972): A definition of the Bond Graph language.Trans. ASME. J. Of Dynamic systems, Measurement, and Control94(3), pp. 179-182.
363. Rosenberg, R.C. And Kamopp, D.C. (1983):Introduction to Physical Systems Dynamics.McGraw-Hill, NY.
364. Rosenlicht, M. (1983): The rank of the Hardy field.Trans. Amer. Math. Soc.280.
365. Rotstein, G.E., Lavie, L. And Lewin, D.R. (1992): A qualitative process-oriented approach for chemical plant operations - the generation of feasible operation procedures.European Symposium on Computed Aided Process Engineering - Escape1, 24-28 May, Elsinore, Computers and Chemical Engineering 16, Supplement, pp. 337-344.
366. Rykiel, E.J. (1989): Artificial intelligence and expert systems in ecology and natural resource management.Ecological Modelling, special issue, 46.
367. Sacks, E. (1987): Hierarchical Reasoning about Inequalities. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 649-654.
368. Sacks, E Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 344-349.
369. Sacks, E. (1987): Piecewise Linear Reasoning. InProc. 6th National Conf. On Artificial Intelligence, Seattle, WA, pp. 655-659.
370. Sacks, E Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 476-480.
371. Sacks, E. (1990): Automatic qualitative analysis of dynamical systems using piecewise linear approximation.Artificial Intelligence41, pp. 313-364.
372. Sacks, E. (1991): Automatic analysis of one-parameter planar ordinary differential equations by intelligent numerical simulation.Artificial Intelligence48, pp. 27-56.
373. Sacks, E. (1992): Model-Based Kinematic Simulation.6th Int. Workshop on Qualitative Reasoning about Physical Systems QR’92, Edinburgh, pp. 109-120.
374. Samuelson, P.A. (1983):Foundations of Economic Analysis.Harvard University Press, Cambridge, MA, enlarged edition. Original edition published 1947.
375. Sasajima, M., Kitamura, Y., Ikeda, M. And Mizoguchi, R. (1995): FBRL: A Function and Behavior Representation Language. InProc. 14th Int. Joint Conf. On Artificial Intelligence, Montreal, pp. 1830-1836.
376. Schaefer, P. (1991): Analytic solution of qualitative differential equations. InProc. 9th National Conf. On Artificial Intelligence, Anaheim, CA, pp. 830-835.
377. Schmoldt, D.L. (1991): Simulation of plant physiological processes using fuzzy variables.AI Applications5(4), pp. 3-16.
378. Seixas, M.J., Camara, A.S., Antunes, M.P. And Pinheiro, M. (1991): Accomodating structural change in environmental systems: The approach of qualitative simulation.Journal of Forecasting10, pp. 211-230.
379. Shen, Q. And Leitch, R. (1991): Synchronised Qualitative Simulation in Diagnosis.5th Int. Workshop on Qualitative Reasoning about Physical Systems QR’91, Austin, TX, pp. 172-185.
380. Shen, Q. And Leitch, R. (1992): Combining Qualitative Simulation and Fuzzy Sets. InRecent Advances in Qualitative Physics, Fairings, B. And Struss, P., (Eds.), MIT Press, pp. 83-100.
381. Shen, Q. And Leitch, R. (1993): Fuzzy qualitative simulation.IEEE Trans, on Systems, Man, and Cybernetics23(4), pp. 1038-1061.
382. Shiozaki, J., Matsuyama, H., O’Shima, E. And Iri, M. (1985): An improved algorithm for diagnosis of system failures in the chemical process.Computers and Chemical Engineering9(3), pp. 285-293.
383. Shrobe, H.E. (1993): Understanding Linkages. InProc. 11th National Conf. On Artificial Intelligence, Washington, DC, pp. 620-625.
384. Sidebottom, G. And Havens, W.S. (1992): Hierarchical arc consistency for disjoint real intervals in constraint logic programming.Computational Intelligence8(4).
385. Simmons, R. (1986): ‘Commonsense’ Arithmetic Reasoning. InProc. 5th National Conf. On Artificial Intelligence, Philadelphia, PA, pp. 118-124.
386. Simmons, R Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 337-343.
387. Simon, H.A. (1952): On the definition of the causal relation.The J. Of Philosophy49, pp. 517-528.
388. Simon, H.A. Also in Simon, H.A., Models of Discovery, Reidel (1977), pp. 86-91.
389. Simon, H.A. (1953): Causal ordering and identifiability. InStudies in Econometric Models, Hood, W.C. And Koop-mans, T.C., (Eds.), Wiley, pp. 49-74.
390. Simon, H.A. Also in Simon, H.A., Models of Discovery, Reidel (1977), pp. 53-70.
391. Söderman, U. And Strömberg, J.-E. (1991): Combining qualitative and quantitative knowledge to generate models of physical systems. InProc. 12th Int. Joint Conf. On Artificial Intelligence, Sydney, pp. 1158-1163.
392. Stephanopolous, G., Henning, G. And Leone, H. (1990): MODEL.LA. A modeling language for process engineering I. The theoretical framework.Computers and Chemical Engineering14(8), pp. 813-846.
393. Stephanopolous, G., Henning, G. And Leone, H. (1990b): MODEL.LA. A modeling language for process engineering - II. Multifaceted modeling of processing systems.Computers and Chemical Engineering14(8), pp. 847-869.
394. Steyer, J.-P, (1991):Sur une Approche Qualitative des Systèmes Physiques: Aide en Temps Réel à la Conduite des Procédés Fermentaires.In French. Ph.D. dissertation, Paul Sabatier University, Toulouse.
395. Steyer, J.-P., Queinnec, I. And Simoes, D. (1993): BIOTECH: A real-time application of artificial intelligence for fermentation processes.Control Eng. Practice1(2), pp. 315-321.
396. Strömberg, J.-E., Top, J.-L. And Söderman, U. (1993): Variable causality in bond graphs caused by discrete effects. InProc. Int. Conf. On Bond Graph Modeling, San Diego, CA, pp. 115-119.
397. Struss, P. (1988): Mathematical aspects of qualitative reasoning, and reply by B. Kuipers.Artificial Intelligence in Engineering3(3), pp. 156-169.
398. Struss, P. (1988): Global filters for qualitative behaviors. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 275-279.
399. Struss, P Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Keer, J., (Eds.), Morgan Kaufmann, pp. 273-277.
400. Struss, P. (1989): Diagnosis as a process.Int. Workshop on Model-Based Diagnosis, Paris. Revised version inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Keer, J., (Eds.), Morgan Kaufmann, pp. 408-418.
401. Struss, P. And Dressier, O. (1989): Physical negation: Integrating fault models into the general diagnostic engine. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1318-1323.
402. Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Keer, J., (Eds.), Morgan Kaufmann, pp. 153-158.
403. Struss, P. (1990): Problems of Interval-Based Qualitative Reasoning. InReadings in Qualitative Reasoning About Physical Systems, Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 288-305.
404. Struss, P. (1991): What’s in SD? Towards a Theory of Modeling for Diagnosis.2nd Int. Workshop on Principles of Diagnosis DX’91, Milan, pp. 41-51.
405. Struss, P Also inReadings in Model-Based Diagnosis(1992), Hamscher, W., Console, L. And de Keer, J., (Eds.), Morgan Kaufmann, pp. 419-448.
406. Struss, P. (1994): Multiple models of physical systems -Modeling intermittent faults, inaccuracy, and tests in diagnosis. InAnnals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis, Console, L. And Friedrich, G., (Eds.), Golumbic, M.C., (Ed.-in-chief), 11(1—4), J.C. Baltzer AG, pp. 203-239.
407. Subramanian, D. And Wang, C.-S. (1993): Knematic Synthesis with Configuration Spaces.7th Int. Workshop on Qualitative Reasoning About Physical Systems QR’93, Rosario, WA, pp. 228-239.
408. Sun, K. (1994):Computer-Aided Creative Mechanism Design.Ph.D. dissertation, Ecole Polytechnique Fédérale de Lausanne.
409. Thom, R. (1977):Stabilité Structurelle et Morphogenèse.In French. InterEditions, Paris.
410. Tomasena, M., Belmeguenaï, Y. And Robles, J.P. (1992): Coping with Complexity in Continuous Process Diagnosing.5th Int. Symposium on Artificial Intelligence, Cancún, pp. 213-219.
411. Top, J.L. And Akkermans, J.M. (1990): Processes as components: On the primitives of a qualitative scientific physics. InProc. 9th European Conf. On Artificial Intelligence, Stockholm, pp. 643-648.
412. Top, J.L. And Akkermans, J.M. (1990): Bond-graph based reasoning about physical systems.2nd AAAI-90 Model-based Reasoning Workshop, Boston, MA.
413. Top, J.L. And Akkermans, J.M. (1991): Computational and physical causality. InProc. 12th Int. Joint Conf. On Artificial Intelligence, Sydney, pp. 1158-1163.
414. Top, J.L., Akkermans, J.M. And Breedveld, P.C. (1991): Qualitative reasoning about physical systems: An artificial intelligence approach.J. Franklin Institute328(5/6), pp. 1047-1065.
415. Travé, L. And Kaszkurewicz, E. (1986): Qualitative controllability and observability of linear dynamical systems. InIFAC/IFOR Symposium on Large Scale Systems, Pergamon Press.
416. Travé, L. And Dormoy, J.-L. (1988): Qualitative Calculus and Applications. InIMACS Trans, on Scientific Computing'88, J.C. Baltzer AG.
417. Travé-Massuyès, L. (1989): Qualitative analysis: Scope. InSystems and Control Encyclopedia, Singh, M., (Ed.), Pergamon Press, pp. 473-481.
418. Travé-Massuyès, L. And Piera, N. (1989): The orders of Magnitude Models as Qualitative Algebras. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1261-1266.
419. Travé-Massuyès, L., Piera, N. And Missier, A. (1989):What can we do with qualitative calculus today?. IFACflMACS/IFORS Int. Symposium on Advanced Information Processing in Automatic Control, Nancy.
420. Travé-Massuyès, L. (1992): Qualitative Reasoning for Dynamical Systems Simulation. InSystems and Control Encyclopedia, Singh, M., (Ed.), 2nd supplementary volume, Pergamon Press, pp. 887-897.
421. Travé-Massuyès, L. (1992): Qualitative reasoning over time: History and current prospects.The Knowledge Engi-neering Review7(1), pp. 1-18.
422. Travé-Massuyès, L., Bousson, K., Evrard, J.-M., Guerrin, F., Lucas, B., Missier, A., Tomasena, M. And Zimmer, L. (1993): Non-Causal vs. Causal Qualitative Modelling and Simulation.Intelligent Systems Engineering Journal.2(3), pp. 159-181.
423. Umeda, T., Kuriyama, T., O’Shima, E. And Matsuyama, H. (1980): A graphical approach to cause and effect analysis of chemical processing systems.Chemical Engineering Science35, pp. 2379-2388.
424. Venkatasubramanian, V. And Rich, S.H. (1988): An object-oriented two-tier architecture for integrating compiled and deep-level knowledge for process diagnosis.Computers and Chemical Engineering12(9-10), pp. 903-921.
425. Vescovi, M. (1991):La Représentation des Connaissances et le Raisonnement sur les Systèmes Physiques.In French. Ph.D. dissertation, University of Savoie, Chambery.
426. Vescovi, M. And Robles, J. (1992): Fuzzy diagnosis of continuous processes. InProc. 10th European Conf. On Artificial Intelligence, Vienna, pp. 749-753.
427. Vescovi, M. And Travé-Massuyès, L. (1992): A Constructive Approach to Qualitative Fuzzy Simulation.6th Int. Workshop on Qualitative Reasoning about Physical Systems QR’92, Edinburgh, pp. 268-280.
428. Vescovi, M. et al. (1992): Numerical-Based Qualitative Fuzzy Simulation - An Extension for Piece-Wise Linear Systems. InProc. Nono Congresso Brasileiro de Automatica.
429. Vescovi, M., Iwasaki, Y., Fikes, R. And Chandrasekaran, B. (1993): CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. In Proc.11th National Conf. On Artificial Intelligence, Washington, DC, pp. 626-633.
430. Vescovi, M., Farquhar, A. And Iwasaki, Y. (1995): Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-monotonic Systems. InProc. 14th Int. Joint Conf. On Artificial Intelligence, Montreal, pp. 1806-1812.
431. Vilain, M., Kautz, H. And van Beek, P. (1989): Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. In Readings inQualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 373-381.
432. Vilain, M., Kautz, H. And van Beek, P. Revised version of the paper from Vilain, M. And Kautz, H. inProc. 5th National Conf. On Artificial Intelligence(1986), Philadelphia, PA, pp. 377-382.
433. Waltz, D.L. (1972): Generating semantic descriptions from drawings of scenes with shadows. Technical report AI-TR-271, MIT, Cambridge, MA.
434. Waltz, D.L. (1975): Understanding Line Drawings of Scenes with Shadows. InThe Psychology of Computer Vision, Winston, PH., (Ed.), McGraw-Hill, NY.
435. Ward, A.C., Lozano-Perez, T. And Seering, W.P. (1989): Extending the constraint propagation of intervals. InProc. 11th Int. Joint Conf. On Artificial Intelligence, Detroit, MI, pp. 1453-1458.
436. Weld, D. (1986): The Use of Aggregation in Causal Simulation.Artificial Intelligence30, pp. 1-34.
437. Weld, D. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 513-529.
438. Weld, D. (1987): Comparative Analysis. InProc. 10th Int. Joint Conf. On Artificial Intelligence, Milan, pp. 959-965.
439. Weld, D. (1988): Choices for Comparative Analysis: DQ Analysis or Exaggeration?.Int. Journal for Artificial Intelligence in Engineering3(3).
440. Weld, D. (1988): Comparative Analysis.Artificial Intelligence36, pp. 333-374.
441. Weld, D. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 397-416.
442. Weld, D. (1988): Exaggeration. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 291-296.
443. Weld, D Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.,) Morgan Kaufmann, pp. 417-421.
444. Weld, D., (1990):Theories of Comparative Analysis.MIT Press, Cambridge, MA.
445. Weld, D. (1990): Approximation reformulations. InProc. 8th National Conf. On Artificial Intelligence, Boston, MA, pp. 407-412.
446. Weld, D. (1992): Reasoning about model accuracy.Artificial Intelligence56, pp. 255-300.
447. Wellman, M.P. (1991): Qualitative Simulation with Multivariate Constraints. InProc. 2nd Int. Conf. On Principles of Knowledge Representation and Reasoning, Allen, J., Fikes, R. And Sandewall, E., (Eds.), Morgan Kaufmann, pp. 547-557.
448. Wilcox, N.A. And Himmelblau, D.M. (1994): The possible cause and effect graphs (PCEG) model for fault diagnosis-I. Methodology.Computers and Chemical Engineering18(2), pp. 103-115.
449. Wilcox, N.A. And Himmelblau, D.M. (1994): The possible cause and effect graphs (PCEG) model for fault diagnosis-II. Applications.Computers and Chemical Engineering18(2), pp. 116-127.
450. Williams, B.C. (1984): The use of continuity in a qualitative physics. InProc. 4th National Conf. On Artificial Intelligence, Austin, TX, pp. 350-354.
451. Williams, B.C. (1984): Qualitative Analysis of MOS Circuits.Artificial Intelligence24, pp. 281-346.
452. Williams, B.C. (1986): Doing Time: Putting Qualitative Reasoning on Firmer Ground. InProc. 5th National Conf. On Artificial Intelligence, Philadelphia, PA, pp. 105-112.
453. Williams, B.C. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 353-360.
454. Williams, B.C. (1988): MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 264269. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 312-317.
455. Williams, B.C. (1989): Temporal Qualitative Analysis: Explaining how Physical Systems Work. InReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 133-177.
456. Williams, B.C. (1990): Interaction-based Invention: Designing Novel Devices from First Principles. InProc. 8th National Conf. On Artificial Intelligence, Boston, MA, pp. 349-356. Also inRecent Advances in Qualitative Physics(1992), Faltings, B. And Struss, P., (Eds.), MIT Press, pp. 413-433.
457. Williams, B.C. (1991): A theory of interactions: Unifying qualitative and quantitative algebraic reasoning.Artificial Intelligence51, pp. 39-94.
458. Williams, B.C. And Cagan, J. (1994): Activity Analysis. InProc. 12th National Conf. On Artificial Intelligence, Seattle, pp. 1217-1223.
459. Williams, B.C. And Raiman, O. (1994): Decompositional Modeling through Caricatural Reasoning. InProc. 12th National Conf. On Artificial Intelligence, Seattle, pp. 1199— 1204.
460. Woods, E.A. The hybrid phenomena theory (1991): InProc. 12th Int. Joint Conf. On Artificial intelligence, Sidney, pp. 1138-1143.
461. Yannou, B. (1993): A Phenomenological Qualitative Design.IJCAI’s Workshop on Engineering Problems for Qualitative Reasoning, Chambery, pp. 1-9.
462. Yannou, B. (1993): Qualitative Design with Envisionment.7th Int. Workshop on Qualitative Reasoning about Physical Systems QR’93, Rosario, WA, pp. 250-259.
463. Yannou, B. (1994):Aide à la conception qualitative de systèmes dynamiques.In French. Ph.D. dissertation, Ecole Normale Supérieure de Cachan.
464. Yannou, B. And Vasiliu, A. (1995): Design Platform for Planar Mechanisms based on a Qualitative Kinematics.9th Int. Workshop on Qualitative Reasoning about Physical Systems QR'95, Amsterdam, pp. 191-200.
465. Yeh, A. (1990): Finding the average rates of change in repetitive behavior. InProc. Ilth National Conf. On Artificial Intelligence, Washington, DC, pp. 413-418.
466. Yip, K.M. (1988): Generating Global Behaviors using deep Knowledge of Local Dynamics. InProc. 7th National Conf. On Artificial Intelligence, Saint Paul, Minn, pp. 280-285. Also inReadings in Qualitative Reasoning About Physical Systems(1990), Weld, D. And de Kleer, J., (Eds.), Morgan Kaufmann, pp. 470-475.
467. Yip, K.M. (1991): Understanding complex dynamic systems by visual and symbolic reasoning.Artificial Intelligence51, pp. 179-222.
468. Yip, K.M. (1991):KAM: A system for intelligently guiding numerical experimentation by computer.MIT Press, Cambridge, MA.
469. Yip, K.M. (1993): Model Simplification by Asymptotic Order of Magnitude Reasoning. InProc. Ilth National Conf. On Artificial Intelligence, Washington, DC, pp. 634-640.
470. Zadeh, L. (1977): Theory of fuzzy sets.Encyclopedia of Computer Science and Technology, Marcer Deckker, NY.
471. Zeigler, B.P. (1976): The aggregation problem. InSystems Analysis and Simulation in EcologyIV, Patten, B.C., (Ed.), Academic Press, NY, pp. 299-311.
472. Zhao, F. (1991): Extracting and representing qualitative behaviors of complex systems in phase spaces. InProc. 12th Int. Joint Conf. On Artificial Intelligence, Sydney, pp. 1144— 1149.