An algebraic and predicate logic approach to representation and reasoning in machine design
- 1 January 1990
- journal article
- Published by Elsevier in Mechanism and Machine Theory
- Vol. 25 (3) , 335-353
- https://doi.org/10.1016/0094-114x(90)90033-g
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- An AI-Based Approach for the Integration of Multiple Sources of Knowledge to Aid Engineering DesignJournal of Mechanical Design, 1988
- Research on Knowledge-Based Software Environments at Kestrel InstituteIEEE Transactions on Software Engineering, 1985
- MacPitts: An Approach to Silicon CompilationComputer, 1983
- Transformational Implementation: An ExampleIEEE Transactions on Software Engineering, 1981
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- An interpreter for a language for describing assembliesArtificial Intelligence, 1980
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- Planning and Acting*Cognitive Science, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977