Yet Another Decision Procedure for Equality Logic.

Orly Meir Ofer Strichman

Published in: CAV (2005)

Keyphrases

decision making
decision makers
proof procedure
multi valued
classical logic
genetic algorithm
logic programming
decision problems
data sets
machine learning
decision rules
utility function
horn clauses
defeasible logic