The reachability and related decision problems for monadic and semi-constructor TRSs.
Ichiro MitsuhashiMichio OyamaguchiToshiyuki YamadaPublished in: Inf. Process. Lett. (2006)
Keyphrases
- decision problems
- influence diagrams
- decision model
- utility function
- optimal policy
- computational complexity
- decision processes
- multiple criteria
- state space
- np hard
- optimal strategy
- bandit problems
- partially observable
- sequential decision making
- probability distribution
- deductive databases
- transitive closure
- knowledge base
- bayesian decision problems