The decision problem of modal product logics with a diagonal, and faulty counter machines.
Christopher HampsonStanislav KikotAgi KuruczPublished in: CoRR (2015)
Keyphrases
- decision problems
- modal logic
- nonmonotonic logics
- influence diagrams
- optimal policy
- decision model
- np hard
- utility function
- optimal strategy
- computational complexity
- decision processes
- temporal logic
- inference rules
- expressive power
- sequential decision making
- classical logic
- bayesian decision problems
- special case
- pspace complete
- expert systems
- modal operators
- nonmonotonic reasoning
- integrity constraints
- np complete
- multicriteria decision