Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis-Reference-Cited by-同舟云学术

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Published:1977-10 Issue:2 Volume:9 Page:135-196
ISSN:0004-3702
Container-title:Artificial Intelligence
language:en
Short-container-title:Artificial Intelligence

Author:

Stallman Richard M.,Sussman Gerald J.

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference43 articles.

1. A diagnostic program for the design of procurement systems;Bosyj;MIT Project MAC Technical Report,1975

2. Qualitative knowledge, causal reasoning, and the localization of failures;Brown;MIT AI Lab. PhD Thesis,1975

3. Applications of meta level knowledge to the construction, maintenance, and use of large knowledge bases;Davis;Stanford U. AI Lab. Memo AIM-283,1976

4. Local methods for localization of faults in electronic circuits;de Kleer;MIT AI Lab. Working Paper 109,1976

5. Structured programming;Dijkstra,1970

Cited by 366 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Comprehensive Survey and Experimental Study of Subgraph Matching: Trends, Unbiasedness, and Interaction;Proceedings of the ACM on Management of Data;2024-03-12

2. A conflict-directed approach to chance-constrained mixed logical linear programming;Artificial Intelligence;2023-10

3. GuP: Fast Subgraph Matching by Guard-based Pruning;Proceedings of the ACM on Management of Data;2023-06-13

4. Optimizing the wiring sequence based on a Constraint Satisfaction Problem for robot-based manufacturing of solderless wrapped connections;Procedia CIRP;2022

5. Library Best Practices Expert System (LIBPES): Proposal for a Conceptual Prototype;SRELS Journal of Information Management;2021-08-27