Qualitative Analysis of MOS Circuits
暂无分享,去创建一个
[1] Reid G. Simmons. The Use of Qualitative and Quantitative Simulations , 1983, AAAI.
[2] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..
[3] Benjamin Kuipers,et al. Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..
[4] H. Shichman,et al. Modeling and simulation of insulated-gate field-effect transistor switching circuits , 1968 .
[5] Gerald Jay Sussman,et al. Propagation of constraints applied to circuit synthesis , 1980 .
[6] H. H. Richardson,et al. Introduction to system dynamics , 1967 .
[7] Scott Cyphers. Programming Cliches and Cliche Extraction , 1982 .
[8] Johan de Kleer,et al. The Origin, Form, and Logic of Qualitative Physical Laws , 1983, IJCAI.
[9] 中園 薫. A Qualitative Physics Based on Confluences , 1986 .
[10] Guy L. Steele,et al. The definition and implementation of a computer programming language based on constraints , 1980 .
[11] Daniel G. Bobrow,et al. Qualitative Reasoning With Higher-Order Derivatives , 1989, AAAI.
[12] Benjamin Kuipers,et al. Getting the Envisionment Right , 1982, AAAI.
[13] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[14] Brian C. Williams,et al. The Use of Continuity in a Qualitative Physics , 1984, AAAI.
[15] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artif. Intell..
[16] Johan de Kleer,et al. Causal and Teleological Reasoning In Circuit Recognition , 1979 .
[17] James J. Cherry,et al. A One Transistor RAM for MPC Projects , 1981 .
[18] Kenneth D. Forbus. Measurement Interpretation in Qualitative Process Theory , 1983, IJCAI.
[19] Jon Doyle,et al. AMORD: A Deductive Procedure System , 1978 .
[20] Daniel C. Brotsky. Program Understanding through Cliché Recognition , 1981 .