Decision Making Modeled as a Theorem Proving Process.

Jacques Calmet Marvin Oliver Schneider

Published in: Int. J. Decis. Support Syst. Technol. (2012)

Keyphrases

theorem proving
decision making
data mining
theorem prover
decision procedures
decision process
automated deduction
first order logic
inference rules
automated reasoning
logical inference
simulated annealing
automatic programming
parallel search
presburger arithmetic