Login / Signup

A More Expressive Behavioral Logic for Decision-Theoretic Planning.

Charles Gretton
Published in: PRICAI (2014)
Keyphrases
  • decision theoretic planning
  • markov decision processes
  • probabilistic planning
  • modal logic
  • planning under uncertainty
  • logic programming
  • markov decision problems
  • dec pomdps