Complexity of Solvable Cases of the Decision Problem for the Predicate Calculus
Harry R. LewisPublished in: FOCS (1978)
Keyphrases
- decision problems
- predicate calculus
- computational complexity
- np hard
- influence diagrams
- decision model
- pspace complete
- optimal policy
- np complete
- formal model
- theorem proving
- bayesian decision problems
- predicate logic
- utility function
- first order logic
- special case
- decision processes
- semantic network
- lambda calculus
- search space