Login / Signup

Formalization of Reliability Block Diagrams in Higher-order Logic.

Waqar AhmadOsman HasanSofiène Tahar
Published in: J. Appl. Log. (2016)
Keyphrases
  • higher order logic
  • higher order
  • logical framework
  • theorem prover
  • conditional logic
  • belief revision
  • nonmonotonic reasoning
  • hand drawn
  • knowledge representation
  • inference rules
  • data model