An assumption-based TMS
- 31 March 1986
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 28 (2), 127-162
- https://doi.org/10.1016/0004-3702(86)90080-9
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Diagnosing multiple faultsArtificial Intelligence, 1987
- Problem solving with the ATMSArtificial Intelligence, 1986
- Extending the ATMSArtificial Intelligence, 1986
- How circuits workArtificial Intelligence, 1984
- A qualitative physics based on confluencesArtificial Intelligence, 1984
- Contexts and Data Dependencies: A SynthesisIeee Transactions On Pattern Analysis and Machine Intelligence, 1983
- A logic for default reasoningArtificial Intelligence, 1980
- Propagation of constraints applied to circuit synthesisInternational Journal of Circuit Theory and Applications, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977