SMARTGEN: The Implementation of an Expert System for the Generation of Digital Logic Diagnostic Tests.

Asad Karim Stephen A. Szygenda

Published in: IEA/AIE (Vol. 1) (1988)

Keyphrases

diagnostic tests
expert systems
modal logic
circuit design
databases
real time
neural network
knowledge base
logic programming
efficient implementation
expert knowledge
probability theory
implementation details
multi valued
implementation issues
classical logic