Another proof of undecidability for the correspondence decision problem - Had I been Emil Post.
Vesa HalavaPublished in: CoRR (2014)
Keyphrases
- decision problems
- partially observable
- influence diagrams
- decision model
- computational complexity
- utility function
- optimal strategy
- optimal policy
- description logics
- decision processes
- np hard
- bayesian decision problems
- sequential decision making
- exptime complete
- bandit problems
- pspace complete
- multicriteria decision
- expected utility
- state space
- proof planning