Graphs of models

Addanki, 1989, Reasoning about assumptions in graphs of models, 1432 1984 Boston Gear Works, 1960, The Boston Gear Catalog, 59 Brown, 1982, Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II, and III, 227 Burstall, 1968 Candee, 1961 Davis, 1984, Diagnostic reasoning based on structure and behavior, Artif. Intell., 24, 347, 10.1016/0004-3702(84)90042-0 de Kleer, 1976, Local methods of localizing faults in electronic circuits de Kleer, 1986, An assumption-based TMS, Artif. Intell., 28, 127, 10.1016/0004-3702(86)90080-9 de Kleer, 1984, A qualitative physics based on confluences, Artif. Intell., 24, 7, 10.1016/0004-3702(84)90037-7 de Kleer, 1986, Reasoning about multiple faults, 132 Doyle, 1979, A truth maintenance system, Artif. Intell., 12, 231, 10.1016/0004-3702(79)90008-0 Falkenhainer, 1991, Compositional modeling: finding the right model for the job, Artif. Intell., 51, 95, 10.1016/0004-3702(91)90109-W Forbus, 1984, Qualitative process theory, Artif. Intell., 24, 85, 10.1016/0004-3702(84)90038-9 Forbus, 1988, Focusing the ATMS, 193 Hamscher, 1984, Diagnosing circuits with state: an inherently underconstrained problem, 142 Lowry, 1987, The abstraction/implementation model of problem reformulation, 1004 Martin, 1971, The MACSYMA system Mavrovouniotis, 1987, Reasoning with orders of magnitude and approximate relations, 626 Murthy, 1988, Qualitative reasoning at multiple resolutions, 296 Murthy, 1987, PROMPT: an innovative design tool, 432 Newell, 1976, Computer science as empirical enquiry: symbols and search, Commun. ACM, 19, 113, 10.1145/360018.360022 Penberthy, 1987, Incremental analysis and the graph of models Raiman, 1986, Order of magnitude reasoning, 100 Subramanian, 1987, The relevance of irrelevance, 416 Weld, 1988, Comparative analysis, Artif. Intell., 36, 333, 10.1016/0004-3702(88)90086-0 Weld, 1990, Approximation reformulations, 407