Login / Signup

QBF-Based Symbolic Model Checking for Knowledge and Time.

Conghua ZhouZhenyu ChenZhihong Tao
Published in: TAMC (2007)
Keyphrases
  • symbolic model checking
  • expert systems
  • domain knowledge
  • knowledge base
  • knowledge acquisition
  • model checking
  • domain experts
  • knowledge representation
  • markov chain
  • orders of magnitude
  • partial observability