Design by derivational analogy:Issues in the automated replay of design plans
- 30 September 1989
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 40 (1-3) , 119-184
- https://doi.org/10.1016/0004-3702(89)90048-9
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- ARGO: AN ANALOGICAL REASONING SYSTEM FOR SOLVING DESIGN PROBLEMSPublished by Elsevier ,1992
- Computational approaches to analogical reasoningArtificial Intelligence, 1989
- Constructing specifications by combining parallel elaborationsIEEE Transactions on Software Engineering, 1989
- Understanding and Automating Algorithm DesignIEEE Transactions on Software Engineering, 1985
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- Proofs as programsACM Transactions on Programming Languages and Systems, 1985
- Writing programs that construct proofsJournal of Automated Reasoning, 1985
- Software Technology in the 1990's: Using a New ParadigmComputer, 1983
- Rete: A fast algorithm for the many pattern/many object pattern match problemArtificial Intelligence, 1982
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971