Decision Problems for Propositional Linear Logic
Patrick LincolnJohn C. MitchellAndre ScedrovNatarajan ShankarPublished in: FOCS (1990)
Keyphrases
- decision problems
- linear logic
- influence diagrams
- propositional logic
- fixed point
- computational complexity
- decision model
- logic programming
- optimal policy
- np hard
- logical framework
- first order logic
- desirable properties
- default logic
- proof search
- utility function
- multiple criteria
- cut elimination
- sequent calculus
- bayesian decision problems
- bandit problems
- probabilistic model
- pspace complete
- inference rules
- belief revision
- programming language
- expert systems