Combination Techniques and Decision Problems for Disunification.
Franz BaaderKlaus U. SchulzPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- decision problems
- influence diagrams
- horn clauses
- computational complexity
- utility function
- decision model
- np hard
- optimal policy
- sequential decision making
- decision processes
- multiple criteria
- multicriteria decision
- optimal strategy
- inference rules
- minimax regret
- bayesian decision problems
- database
- temporal logic
- multi objective
- artificial intelligence
- bandit problems