A Decision Procedure for Equality Logic with Uninterpreted Functions.

Published in: AISC (2004)

Keyphrases

decision making
multi valued
decision rules
decision problems
artificial intelligence
decision makers
modal logic
decision processes
proof procedure
basis functions
utility function
decision model
iterative procedure
set theory