Qualitative Reasoning

Northwestern University 32.

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

[2]  Peter Struss,et al.  Mathematical aspects of qualitative reasoning , 1988, Artif. Intell. Eng..

[3]  Barbara Y. White,et al.  Causal Model Progressions as a Foundation for Intelligent Learning Environments , 1990, Artif. Intell..

[4]  Benjamin Kuipers,et al.  Using Incomplete Quantitative Knowledge In Qualitative Reasoning , 1988, AAAI.

[5]  Herbert A. Simon,et al.  Theories of Causal Ordering: Reply to de Kleer and Brown , 1986, Artif. Intell..

[6]  James D. Hollan,et al.  STEAMER: An Interactive Inspectable Simulation-Based Training System , 1984, AI Mag..

[7]  Feng Zhao,et al.  Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces , 1991, IJCAI.

[8]  Benjamin Kuipers,et al.  A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations , 1991, Robotics Auton. Syst..

[9]  Dennis DeCoste,et al.  Dynamic Across-Time Measurement Interpretation , 1990, Artif. Intell..

[10]  Paul C. Schutte,et al.  FAULTFINDER: A DIAGNOSTIC EXPERT SYSTEM WITH GRACEFUL DEGRADATION FOR ONBOARD AIRCRAFT APPLICATIONS , 1988 .

[11]  Kenneth D. Forbus.  Spatial and Qualitative Aspects of Reasoning about Motion , 1980, AAAI.

[12]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[13]  J R Svirbely,et al.  Qualitative representation of behavior in the medical domain. , 1988, Computers and biomedical research, an international journal.

[14]  Steven R. LeClair,et al.  Qualitative process automation: self-directed manufacture of composite materials , 1989, Artif. Intell. Eng. Des. Anal. Manuf..

[15]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[16]  Kenneth D. Forbus,et al.  Causal reasoning about quantities , 1989 .

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

[18]  Kathy H. Abbott,et al.  Robust Operative Diagnosis as Problem Solving in a Hypothesis Space , 1988, AAAI.

[19]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[20]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[21]  Brian C. Williams,et al.  A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning , 1991, Artif. Intell..

[22]  Kenneth D. Forbus,et al.  Learning Physical Domains: Toward a Theoretical Framework. , 1986 .

[23]  Kenneth D. Forbus,et al.  Qualitative Spatial Reasoning: The Clock Project , 1991, Artif. Intell..

[24]  J. S. Brown,et al.  Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III , 1982 .

[25]  Johan de Kleer,et al.  How Circuits Work , 1984, Artif. Intell..

[26]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[27]  Brian C. Williams,et al.  Reasoning about Multiple Faults , 1986, AAAI.

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

[29]  G. Stephanopoulos,et al.  Formal order-of-magnitude reasoning in process engineering , 1989 .

[30]  Paul Nielsen.  A Qualitative Approach to Mechanical Constraint , 1988, AAAI.

[31]  Brian V. Funt,et al.  Problem-Solving with Diagrammatic Representations , 1980, Artif. Intell..

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

[33]  Philippe Dague,et al.  Troubleshooting: When Modeling Is the Trouble , 1987, AAAI.

[34]  Leo Joskowicz.  Mechanism comparison and classification for design , 1990 .

[35]  François Guerrin,et al.  Qualitative reasoning about an ecological process: interpretation in hydroecology , 1991 .

[36]  Boi Faltings.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[37]  Brian Falkenhainer,et al.  Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge , 1990, AAAI.

[38]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[39]  Benjamin Kuipers,et al.  Model-Based Monitoring of Dynamic Systems , 1989, IJCAI.

[40]  Daniel S. Weld.  Theories of comparative analysis , 1990 .

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

[42]  Johan de Kleer.  Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.

[43]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .