Minimum-Knowledge Interactive Proofs for Decision Problems.

Zvi Galil Stuart Haber Moti Yung

Published in: SIAM J. Comput. (1989)

Keyphrases

decision problems
influence diagrams
decision model
expert systems
optimal policy
utility function
knowledge representation
domain knowledge
multiple criteria
computational complexity
knowledge base
machine learning
np hard
data mining
expert knowledge
learning algorithm
theorem proving
expected utility