Login / Signup

Representing Logical Inference Steps with Digital Circuits.

Erika Matsak
Published in: HCI (9) (2009)
Keyphrases
  • digital circuits
  • logical inference
  • theorem proving
  • data flow
  • model based diagnosis
  • functional decomposition
  • finite state machines
  • probabilistic inference
  • logical structure
  • heuristic search