Qualitative Reasoning about Physical Systems: A Return to Roots
暂无分享,去创建一个
[1] Johan de Kleer,et al. The Origin and Resolution of Ambiguities in Causal Arguments , 1979, IJCAI.
[2] Johan de Kleer,et al. A Qualitative Physics Based on Confluences , 1984, Artif. Intell..
[3] D. Bobrow. Qualitative Reasoning about Physical Systems , 1985 .
[4] Louise Travé-Massuyès,et al. The Orders of Magnitude Models as Qualitative Algebras , 1989, IJCAI.
[5] Johan de Kleer,et al. Exploiting Locality in a TMS , 1990, AAAI.
[6] Gerald Jay Sussman,et al. Heuristic techniques in computer-aided circuit analysis , 1975 .
[7] Kenneth D. Forbus,et al. Using qualitative simulation to generate explanations , 1981 .
[8] Brian C. Williams,et al. Doing Time: Putting Qualitative Reasoning on Firmer Ground , 1986, AAAI.
[9] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artif. Intell..
[10] David A. McAllester. Algebraic Approximations , 1981, IJCAI.
[11] Peter Szolovits,et al. Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.
[12] Bernard P. Zeigler,et al. Qualitative physics: towards the automation of systems problem solving , 1990, Proceedings [1990]. AI, Simulation and Planning in High Autonomy Systems.
[13] B. Williams,et al. Temporal qualitative analysis: explaining how physical systems work , 1990 .
[14] Gerald Jay Sussman,et al. Propagation of constraints applied to circuit synthesis , 1980 .
[15] G. Stephanopoulos,et al. Formal order-of-magnitude reasoning in process engineering , 1989 .
[16] Joel Moses,et al. Algebraic simplification: a guide for the perplexed , 1971, CACM.
[17] Daniel S. Weld. Approximation Reformulations , 1990, AAAI.
[18] Elisha Sacks,et al. Piecewise Linear Reasoning , 1987, AAAI Conference on Artificial Intelligence.
[19] Brian C. Williams,et al. Qualitative Analysis of MOS Circuits , 1984, Artif. Intell..
[20] D. Morgan. On discrete-time AGC amplifiers , 1975 .
[21] Olivier Raiman,et al. Assembling a device , 1988, Artif. Intell. Eng..
[22] Reid G. Simmons,et al. Commonsense Arithmetic Reasoning , 1986, AAAI.
[23] Brian C. Williams,et al. Diagnosis with Behavioral Modes , 1989, IJCAI.
[24] Johan de Kleer,et al. How Circuits Work , 1984, Artif. Intell..
[25] Benjamin J. Kaipers,et al. Qualitative Simulation , 1989, Artif. Intell..
[26] Patrick J. Hayes,et al. A Common-Sense Theory of Time , 1985, IJCAI.
[27] Gerald J. Sussman,et al. Electrical Design: A Problem for Artificial Intelligence Research , 1977, IJCAI.
[28] Elisha Sacks,et al. PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS , 1992, Comput. Intell..
[29] Daniel S. Weld. Choices for comparative analysis: DQ analysis or exaggeration? , 1988, Artif. Intell. Eng..
[30] Brian C. Williams,et al. Interaction-Based Invention: Designing Novel Devices from First Principles , 1990, AAAI.
[31] Brian Falkenhainer,et al. Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge , 1990, AAAI.
[32] Benjamin Kuipers,et al. Using Incomplete Quantitative Knowledge In Qualitative Reasoning , 1988, AAAI.
[33] Kenneth D. Forbus,et al. Qualitative and quantitative reasoning about thermodynamics , 1989 .
[34] Randall Davis,et al. Model-based reasoning: troubleshooting , 1988 .
[35] P. Struss. Problems of interval-based qualitative reasoning , 1989 .
[36] Tom Bylander. The Qualitative Difference Resolution Rule , 1991, AAAI.
[37] R. Simmons. Representing and Reasoning About Change in Geologic Interpretation , 1983 .
[38] Philippe Dague,et al. Troubleshooting: When Modeling Is the Trouble , 1987, AAAI.
[39] Chuck Rieger,et al. The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.
[40] Randall Davis,et al. Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..
[41] Johan de Kleer. Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.