Toward intelligent CAD systems
- 30 June 1989
- journal article
- Published by Elsevier in Computer-Aided Design
- Vol. 21 (5) , 315-337
- https://doi.org/10.1016/0010-4485(89)90039-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An assumption-based TMSArtificial Intelligence, 1986
- Introducing knowledge processing technology to CAD/CAMFinite Elements in Analysis and Design, 1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- A CONSIDERATION TO KNOWLEDGE REPRESENTATION-AN INFORMATION THEORETIC VIEWBulletin of informatics and cybernetics, 1984
- Meta-rules: Reasoning about controlArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976