Login / Signup

Formalization of Birth-Death and IID processes in higher-order logic.

Liya LiuOsman HasanSofiène Tahar
Published in: SysCon (2017)
Keyphrases
  • higher order logic
  • higher order
  • logical framework
  • theorem prover
  • conditional logic
  • pairwise
  • object oriented
  • knowledge representation
  • belief revision
  • theorem proving