Login / Signup

Non-axiomatizability for the linear temporal logic of knowledge with concrete observability.

Catalin Dima
Published in: J. Log. Comput. (2011)
Keyphrases
  • linear temporal logic
  • temporal logic
  • knowledge base
  • bayesian networks
  • search algorithm
  • domain knowledge
  • evolutionary algorithm
  • orders of magnitude