Login / Signup

Determinism and Looping in Combinatory PDL.

George GargovSolomon Passy
Published in: Theor. Comput. Sci. (1988)
Keyphrases
  • propositional dynamic logic
  • arbitrarily complex
  • deontic logic
  • dynamic logic
  • hidden state
  • learning algorithm
  • computational complexity
  • markov chain
  • similarity measure
  • reinforcement learning
  • expert systems
  • pairwise