Toward an Expert System for Logic Circuit Synthesis.
S. CostanzoAntonella Di StefanoAlberto FaroPublished in: COMPCON (1987)
Keyphrases
- expert systems
- modal logic
- logic programming
- knowledge base
- classical logic
- knowledge representation
- inference engine
- artificial intelligence
- predicate logic
- set theory
- automated reasoning
- databases
- knowledge acquisition
- logical framework
- case study
- computational properties
- computer vision
- digital circuits
- asynchronous circuits