Two decision problems in Contact Logics.
Philippe BalbianiÇigdem GencerZafer ÖzdemirPublished in: Log. J. IGPL (2019)
Keyphrases
- decision problems
- influence diagrams
- expressive power
- optimal policy
- decision model
- computational complexity
- modal logic
- utility function
- optimal strategy
- multiple criteria
- np hard
- decision processes
- partially observable
- inference rules
- sequential decision making
- bayesian decision problems
- state space
- pspace complete
- dynamic programming
- multicriteria decision
- genetic algorithm
- temporal logic