Login / Signup

Complete Axiomatizations of Finite Syntactic Epistemic States.

Thomas ÅgotnesMichal Walicki
Published in: DALT (2005)
Keyphrases
  • epistemic states
  • natural language
  • update operators
  • temporal logic
  • machine learning
  • decision procedures