The qualitative process engine

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

[2]  Kenneth D. Forbus.  Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[3]  Brian Falkenhainer,et al.  Learning from physical analogies: A study in analogy and the explanation process , 1989 .

[4]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[5]  Antony Galton,et al.  The logic of occurrence , 1987 .

[6]  Brian Falkenhainer,et al.  An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning , 1987, IJCAI.

[7]  John C. Hogge.  Compiling Plan Operators from Domains Expressed in Qualitative Process Theory , 1987, AAAI.

[8]  Kenneth D. Forbus,et al.  Reasoning about Fluids via Molecular Collections , 1987, AAAI.

[9]  Daniel S. Weld.  The Use of Aggregation in Causal Simulation , 1986, Artif. Intell..

[10]  Paul Morris,et al.  Representing Actions with an Assumption-Based Truth Maintenance System , 1986, AAAI.

[11]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[12]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

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

[14]  J. Brown,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[15]  Brian C. Williams,et al.  Qualitative Analysis of MOS Circuits , 1984, Artif. Intell..

[16]  R. Simmons.  Representing and Reasoning About Change in Geologic Interpretation , 1983 .

[17]  David A. McAllester,et al.  Reasoning Utility Package User's Manual, Version One , 1982 .

[18]  Kenneth D. Forbus.  Qualitative Reasoning about Physical Processes , 1981, IJCAI.

[19]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[20]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[21]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[22]  Jon Doyle,et al.  Explicit Control of Reasoning , 1977 .

[23]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[24]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[25]  Brian Falkenhainer,et al.  Setting up Large-Scale Qualitative Models , 1988, AAAI.

[26]  Kenneth D. Forbus.  Interpreting Observations of Physical Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[27]  Daniel S. Weld.  The use of aggregation in qualitative simulation , 1986 .