EXPTIME-complete Decision Problems for Modal and Mixed Specifications.
Adam AntonikMichael HuthKim Guldstrand LarsenUlrik NymanAndrzej WasowskiPublished in: EXPRESS (2008)
Keyphrases
- decision problems
- exptime complete
- pspace complete
- description logics
- influence diagrams
- expressive power
- data complexity
- computational complexity
- utility function
- np hard
- modal logic
- bayesian decision problems
- optimal policy
- formal specification
- query containment
- incomplete information
- partially observable
- knowledge representation
- special case
- artificial intelligence