Representations for Reasoning about Digital Circuits.

Tom M. Mitchell Louis I. Steinberg Reid G. Smith Pat Schooley Howard Jacobs Van E. Kelly

Published in: IJCAI (1981)

Keyphrases

digital circuits
data flow
model based diagnosis
evolvable hardware
circuit design
formal theory
higher level
finite state machines
multi agent systems
symbolic representation
qualitative reasoning
dynamic systems
qualitative models
decision diagrams