Unsolvable Decision Problems for Prolog Programs.
Egon BörgerPublished in: Computation Theory and Logic (1987)
Keyphrases
- decision problems
- prolog programs
- logic programs
- influence diagrams
- decision model
- optimal policy
- utility function
- computational complexity
- optimal strategy
- logic programming
- answer set programming
- multiple criteria
- np hard
- partially observable
- decision processes
- bayesian decision problems
- answer sets
- multicriteria decision
- model checking
- dynamic programming
- decision analysis
- sequential decision making
- reinforcement learning