Login / Signup

Redefinition of Fault Classes in Logic Expressions.

Tanay Kanti PaulMan Fai Lau
Published in: QSIC (2012)
Keyphrases
  • logic programming
  • fault diagnosis
  • fault detection
  • modal logic
  • classical logic
  • finite model theory
  • multi valued
  • computational properties
  • defeasible logic
  • set theory
  • failure modes
  • asynchronous circuits