A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.

J. C. C. McKinsey

Published in: J. Symb. Log. (1941)

Keyphrases

decision problems
multicriteria decision
influence diagrams
decision processes
expert systems
utility function
optimal solution
lower bound
special case
np hard
logic programming
sat problem