Problem solving with the ATMS
- 31 March 1986
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 28 (2), 197-224
- https://doi.org/10.1016/0004-3702(86)90082-2
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extending the ATMSArtificial Intelligence, 1986
- An assumption-based TMSArtificial 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