A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.

Serenella Cerrito Marta Cialdea Mayer

Published in: TABLEAUX (2011)

Keyphrases

decision making
decision theory
bayesian networks
decision process
computer vision
control system
decision makers
functional dependencies
object classes
search procedure
multi class classification
decision processes