Decision Procedure for Checking Validity of PAL Formulas.

Igor Walukiewicz

Published in: IMYCS (1990)

Keyphrases

decision making
neural network
decision problems
decision makers
decision rules
influence diagrams
decision model
decision processes
multi agent
utility function
decision process
iterative procedure